GitHub Old Header

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