* aggiornare con aggiunte/rimozioni il database
* gestire i doppioni delle man pages
* aggiungere supporto info pages
* aggiungere rimozione man page doppioni