And while this is a 'useful RSS feeds' thread, two more:
https://download.armagetronad.org/feed.xml for builds
https://gitlab.com/armagetronad/armagetronad.atom for all gitlab activity (I hope that one works, I have a token in my actual URL)
Both fluctuate between long periods of nothing, then a torrent of spam

I use www.inoreader.com to follow them, they have a phone app that syncs feeds, read status and bookmarks with the website. The service has been mostly stable in quality, except that they pushed filters (for alerts on new articles, or... filtering feeds) from the cheapest paid version to the next expensive one.
Yeah, I'm a bit annoyed by the broken search. That search, and 'unread posts', are my go-to entry points here. AFAIK, search in PHPBB can be quite resource intensive, maybe that and a recent DoS attack using it is the reason? The forums were down a bit yesterday or the day before.