Hi, I've recently switched to a dedicated server to play PA. It is not as powerfull as the community server was but it's enough to play in more decent condition than on official servers. With the shutdown of mikeyh's server, dedicated server are no longer automagically displayed in lobby list. So, I'm asking if there is a manual way to join a specified dedicated server ? Thanks !