I usually make a userscript for these sites, which add it automatically. Its a one-liner for simple link insertion. https://github.com/FrozenVoid/Userscripts/blob/main/Arxiv/Ar...

The Redirector add-on for Firefox provides pattern-based (regex and glob) URL redirection on the browser side. You can just add rules to its configuration rather than new userscripts.

I used in the past to locally correct for broken links within intranet/CI pages. E.g. something correctably wrong with a gerrit link, or whatever.

Ah, this comment prompted me to add this to my Anki, so thanks! I got frustrated never remembering https://remove-js.com , so added it to a deck on Anki and now I'm unlikely to ever forget it. This is useful enough to go on the deck too.

Ah, I always forget about Anki! Wish there were an app to remind me of Anki when I need it the most.

The anki app reminds you of anki

I love Anki and use it like you do, it sounds like.

Does RemoveJS do anything that the “block scripts” button on uBlock doesn't?

Allows me to share it as a link to my parents, for example.

During the initial pandemic period, there were news articles I wanted to share with useful information. But the pages were full of Javascript based crap that guiding them on how to find the information became a task of its own. RemoveJS was very helpful in making those sites accessible to them.

I'd tell you, but RemoveJS blocks VPN users from viewing their site while uBlock does not.

I‘m using Anki to not forget my fitness workouts

Anki is great for remembering your fitness workouts, if you plan to sabotage your fitness with increasing intervals between workouts. :)

Hihi. That's true. Maybe an addon that keeps cards' ease at the same rate would do.

By the way, have you checked out Migaku's vacation add-on? I suggested it to you a while ago.

Replace "github.com" with "github.dev" or "github1s.com" on any repo

I agree, I can't wait to forget about what the name of the repository is

I can’t wait to turn down at least $6B offer for my company :)