What the heck? Is this the same add-on as https://addons.mozilla.org/en-US/firefox/addon/dark-theme-enhanced/ ? I'm so confused.