Masjin server port has changed, duh!
The old port was 65002. It turns out Jamie changed this to 65000, which is of course a much neater and rounder number. Once I get the editor done I’ll put up a version with this changed.
(alternate ‘good’ ports are 6121 and 6122)
Anyone is playing the game lately :(