I think people would prefer that rather than having to type in “old.lemmy.world”. It looks far better in that theme than the lemmy one.