I've since found AVROpendous and ordered a board to play with
Last time I checked, the DFU bootloader and GUI-based FLIP loader program were both closed source!
Sure, the website says "Open Hardware and Open Software Development Platform", but what does that really mean? Can you find the bootloader source?