https://www.dcristi.ro/firefox-tweaks.html