Exactly, it's just a very quick hack, and scraping and parsing is 'good enough'. Not pretty or long-term reliable, but it does the job.
Very happy to take suggestions for other services - any ideas? What other critical dev infrastructure goes down a lot?