Agragada ejemplo obtención de paginas del man

   prueba.py dice como obtener el nombre de las páginas que comiencen
   con git con una breve descripción, y convertir la salida en un código html de la forma:

      <<a href="comando">comando</a> descripcion

   por cada lines/comando. Falta implementarlo en el código principal.

   Y agregué un archivo .gitignore.