Just adding for posterity that the RSS feed appears to be functional now