Bug report for the extension: on line 2 of gnu.js, "Document" should actually be "document". This is currently throwing an error and causing the html tag detection to fail. (And is causing me trouble in debugging something unrelated!)