chiark / gitweb /
doc/syntax.tex: Settle on <dotted-name> rather than <qualified-identifier>.