I just found out that IREX has made the firmware version 2.0 source code and SDK available, at:
http://developer.irexnet.com/pub/
(look in the 4.0 folder)
This is great news, we can finally start developing for the new firmware. I'll probably release an updated version of the DjVu plugin this weekend.