20230711 / Urgent upgrades

We have to make urgent hardware upgrades on a few fileservers. These need a reboot afterward, fileservers will be unavailable a few minutes, at most. Expect lags and delays during these upgrades.

impacted services: $HOME and /Xnfs shares (mostly everyone)