Has it officially dropped from the devs? When can we expect this server to update so it can work with Jerboa again?