IRC channel

There is a #picogui channel on the Freenode IRC network. Micah usually hangs out on there as "scanline". It's full of lots of crazy people , but they might be able to answer your question faster than the mailing list.

Tim Riker's ibot keeps public logs of the channel:

• Logs
• Statistics

It is also home to a CIA bot that monitors activity in the PicoGUI Repository