El bug se solucionó ayer, antes de la salida de la 3.1 :-D.
El bug ocurria cuando la consola no estaba instalada en el puerto 80 o cuando por alguna razon no se cargaba bien un javascript, nos costo BASTANTE encontrar la causa, pero está felizmente corregido. Otros fallos han sido detectados despues de la release :( pero vamos a sacar parches cada 15-30 dias de forma continuada hasta la versión 3.2 que será gracias de aplicar gracias a los nuevos paquetes mejorados .deb y .rpm que actualizan todo en un periquete ! :-)