empty feed

This is probably an exceptionally rare cause for this problem, and once spotted, it’s incredibly obvious, but since it took me about a half an hour to find it, I thought I’d post a note. It might just save someone some time. I found that suddenly I had no content in the RSS feed for…