Hemos añadido un editor de comentarios para que se le pueda dar cierto formato a los comentarios de rutas, puertos y mapas. El editor elegido es el TinyMCE.