You don't need to have version control to put times at the top of the page or to have permalinks for past ToS versions. And sure, RSS and push notifications are technical infrastructure. But if the agency has the ability to deploy an API, they have the ability to deploy an RSS feed. That RSS feed doesn't even have to live on the same domain as the ToS - it could run as a side endpoint in the API app itself.