@Joyent No.de service is closing, so I've moved the remaining #WikiEducator websockets/push code to Hetzner. Easy migration.