I tried @r and unfortunately it searches www.reddit.com instead of old.reddit.com