thanks to the awesome work of Freswa and Jelle, all services have now been migrated away from orion. orion will be cancelled on 2020-11-30.
We'll manually delete any data on the box before that date as usual. If we do decide that we actually need it, we can always uncancel it before aforementioned date.
orion was a fairly cheap box but as our migration to VPSes progresses, we should be able to cut some serious costs.