Userscripts I use and consider essential.
Based off original work by Motty
GitHub properties use a relative date format. As this is frustrating, lossy and
largly useless, apply the GitHub Time script to rectify this. The script targets
github.com and githubapps.com specifically.
I personally use the ISO8601 format YYYY-MM-DD HH:mm:ss Z, eg. 2023-07-25 15:06:39 +10:00. This can be set in the Userscript settings.
Google search page but HIDEOUS.
