A quick morning updating the Minecraft server that’s there for private play for the boy.
Ubuntu updates on Azure are actually painless. Minecraft jar update took a few moments.
Happy, patched and back to letting the boy play with his friends.
There are some cool Minecraft 1.13 world seeds here btw https://mine.guide/tutorials/best-seeds-for-minecraft-1-13/