For things like this a userscript is better solution than a full-on extension. I...

		vehemenz on June 2, 2023 \| parent \| context \| favorite \| on: Third-party Reddit apps are being crushed by price... For things like this a userscript is better solution than a full-on extension. It is definitely worth it though, especially for mobile.