@kescher @kim Oh yeah, tools *should* support setting the port. But from a pragmatic perspective, it's definitely still a reason not to change the port if there's not actually a good reason :)
Small server part of the pixie.town infrastructure. Registration is closed.
