It's here! New badges, integration with gaming site GameJolt, simplified bot management, and highlighting of local servers are all included.
Editor key bindings can now be assigned in the INI, the team definition menu now has an interactive color picker, and you can enter colors using either RGB or HTML hex notation.
Finally, Pleiades (our online level database) has been upgraded -- it now handles larger levels and shows better screenshots. Upload your levels and start rating as you play!