Convert reddit to old reddit url
But wait, there’s an example of exactly that in the manual, and it’s just some ten lines
Not to mention a really good extension that can handle things at scale…