We kept this machine up during the last campaign, although we already had a replacement VM. This VM can now be decommissioned.

It is not monitored anymore by our hosting provider, so they don't necessarily have to be informed.