Short: GNU info & makeinfo (manual lookup)