Userscript to revert GitHub header to the light version

revert-github-header.user.js

// ==UserScript==
// @name         Revert GitHub theme
// @namespace    https://github.com
// @version      0.1
// @description  try to take over the world!
// @author       vzsg
// @match        https://*.github.com/*
// @grant        none
// ==/UserScript==

(function() {
    'use strict';
    const elements = document.getElementsByClassName('header-dark');
    for (var i = 0; i < elements.length; i++) {
        elements[i].classList.remove('header-dark');
    }
})();