[minecraft-server] General info about Docker port mappings and container naming