Hi, Thank you, David, for all the information. Scanning all these DOT files and checking what sort of documentation user/admin can easily get for them are steps in my process. I already started checking about the .SEQ file you cited for instance. Debian Code Search is very helpful. On the other side 'man -K' is not the best and a too naïve solution: it takes a lot of ressources and I did not figure out how to have just the list of pages and not display them. Is there a service similar to Code Search but for man pages?
Best, Patrice
