Oof, changing the feed from rss.html and rss.xml is more difficult
than it seemed. Reverting.