[Felix, Chris], Made ssh and 8153 the only open ports on the CI server.