@Zenmaster, unfortunate! But very interesting about that pub server!
I have manually added support of ladders (requires some time and editing) and the bots do them well, so it would add a lot of diversion when it works. Especially since button usage works too now.
it will probably get me into late hours of coding to fix this bug though
but that would not matter.