This is an automated archive made by the Lemmit Bot.

The original was posted on /r/browsers by /u/Wario1980 on 2023-08-01 09:57:51.

Just wondering what extensions people use, maybe someone, including myself, will find something useful