developer-manual: Document the regeneration of the RSS feed