FYI a more reliable way to get in touch with the developers is the Google group: https://groups.google.com/forum/#!forum/robocode-developers
Fnl and Pavel stop by here sometimes, but they're not that active.