re PR ada/21327 (gnat_ugn.texi invalid @direntry)