That sounds tedious. You should at least be able to skip that last step with one of the various browser extensions to redirect to old.reddit.com automatically, e.g. this thing for Chrome:
It is kind of tedious. Thanks for the link to the extension. I have used that extension at times, but in my case there are gaps where I'm either at work, on a different browser or device, where this has sometimes come up. But I agree, an extension is best.
https://chrome.google.com/webstore/detail/old-reddit-redirec...