Gnat, GtkAda, AWS, source-highlight, man2html, lynx, PragmARC