[throwaway81523]

I didn't even think of using new.reddit.com when old had trouble! I used the API and that worked fine. I'll have to keep the new.reddit.com trick handy in case it is needed sometime.