Affected hosts are:
[ ] `admin001`
[ ] `db001`
[ ] `db002`
[ ] `db005`
[ ] `db015`
[ ] `repo018`
[ ] `repo025`
[X] `web001`
[X] `web003`
[X] `web007`
[ ] `secure001`
I'll plan to stop and start these during the regular upgrade/maintenance window this week.
Since `admin001` got included this might be a touch tricky. The `db` and `repo` didn't have any issues but `admin` is a bit special.
Most recent round includes `secure001`, which is also maybe a bit special. Offhand, T12171 probably needs to be manually repaired after the host comes back up.