No non sono stati messi nei menù.
Ho provato a dare ogni nome possibile da terminale.

Come faccio a vedere la documentazione di un file .deb?