I think it would be interesting to add some resources to the website to make it more complete. We could add them to the footer for example.

Resources:
https://github.com/Timvde/UserChrome-Tweaks
https://www.userchrome.org/
Tool to inspect the UI: https://developer.mozilla.org/en-US/docs/Tools/Browser_Toolbox

What do you think?