The newest revision fixes the problem where bots join the game after players leave. To make sure they stay out, it now checks periodically and kills any bots it finds.
Please let us know if you see any non-monster bots in the game at any point.
Thanks.
