* pathnames.sgml: Clarify '@' processing.
* pathnames.sgml: Remove stray '@'.