Gaming, games and gaming related things!
Background Some time ago, at the end of last year or so, I did set up a Minecraft server at home. It's public, in the sense that anyone can join, but it's not listed anywhere other than on its small website. So, for now it's used by friends only. But [...]