Just curious, any predicted release date for the next version of this? Been a little longer than you expected. Also, if not (as I have no pressing need, really), anyone know of where I can download an older version of devkitpro and how to uninstall the current version cleanly?