I need a Chrome extension that assigns any kind of attribute to the
<html> tag. The only requirements are that it does so predictably, so I know I can always count on it setting that attribute, and also that the extension doesn't do anything obnoxious.
I don't care what the extension is for, I just want that attribute.
The reason I want this is because I want to construct a selector that selects the
<html> tag just before the extensions load, and then deselects it as soon as they load, for this question.)
Is anyone familiar with such an extension?