Earlier quoted context omitted.
Yeah, it's a user preference just like top bar color is here. That's why I say the default linking should be unprefixed and the extension should only be needed if you want to change it but don't want to do so via an account. But I was under the assumption the change was to old.-ify it. Had I known it was just to modify the URL I wouldn't have went and made this off-topic rabbithole :).
I'm not sure I've followed this discussion correctly but we do rewrite reddit.com submissions to old.reddit.com, to try to reduce off-topic flamewars about the 'new' interface. And yeah that sucks if you prefer the latter. Sorry.
[deleted]