ServerOptionsGui moved to its [own repo](http://github.com/gusano/ServerOptionsGui)