GitHub Old Header

Brings the old header links back.

Recently the GitHub header became simpler (https://github.com/blog/2022-an-updated-header-just-for-you), which is not bad. However, it removes some links that are important to me (and probably for others): the explore link and the direct link to the logged user profile. After installing this little extension, the user has these links back (see the screenshot). The extension is open-source, on GitHub: https://github.com/IonicaBizau/github-old-header