I would wager most people who are serious about using old.reddit are doing it via extensions, since that approach works even when signed out - so many don't notice e.g that title bug.