The node you are looking for is at gnat_ugn/gnat_utility_programs invoking-gnathtml.