You may be correct. All I did was convert the original script from using GreaseMonkey's proprietary functions to Chrome extensions. I found it very useful that

You may be correct. All I did was convert the original script from using GreaseMonkey's proprietary functions to Chrome extensions. I found it very useful that I don't have to check if a site was on HN. I get a many pleasant surprises this way, on sites I never thought were here.