Managing the availability of nether and end portals

UUID-based server whitelist using MongoDB and more

A plugin that allows you to maximally customize the server links displayed to the player in the menu.