Things that would need to happen to rename syncthing to pulse

Regarding the discovery server, setting one up appears to me to be a case of spinning up a box somewhere, downloading the linux build of the discovery server and setting up an upstart script to start the discovery server as a daemon when the os restarts. (as well as all the usual stuff like sane ssh settings and so on) If it is actually more complex than that, or if there are options to make it more robust, such as support for failover and such like it would be very good to know.

I’ve been through this thread Own Global Announce Server? and experimented by setting up a small cluster of syncthing clients + a discovery server and that seemed to be all there was to it but I’m wondering if there are any undocumented options I should be using or anything else it would be helpful to know.