Menos margen entre las preferencias
Boton para desplegar las opciones, ocultas por defecto
Quitar propiedad name de las BooleanPreferences
Quitar guion del recurso "bootstrap-css" para hacerlo compatible con Opera + ViolentMonkey
Nuevo módulo para mejorar los editores de posts

 - Añade nuevos botones y iconos a la respuesta rápida
 - Permite multi-cita rápida
 - Auto-guardado de posts sin enviar
 - Caja de texto crece con el contenido