Mejor uso mi propia configuración para colorear el man, en lugar de usar el plugin colored-man