Maintenance ended

Rolling web/sidekiq/streaming to v4.7.2. This release carries substantial database migrations; they run in two phases with the site serving throughout, and the service swap itself is brief. The proxy cache is cleared afterwards, so first page loads may be slower for a short while.