That's appreciated, thank you. I already have such an extension to redirect reddit to old.reddit. It works and I can somehow see why such a thing might be neces

That's appreciated, thank you. I already have such an extension to redirect reddit to old.reddit. It works and I can somehow see why such a thing might be necessary for commercialized platforms such as reddit. However, I'm suprised that this is neccessary for wikipedia. I guess it was more work to write the extension than to fix whatever is going on on wikipedias side. But then, on the other hand, maybe writing the extension and stop caring about what is going on on wikipedia is easier.