GitHub repository: yeknam-and-co/ServerMappings
Description: Public mapping of Minecraft server IPs <-> a pretty display name