G github.com Only working dark header revert extension – GitHub removed 'dark-header' class 1 points derosul 9 years ago 0 comments