In a coming commit, I'll introduce two new entities: +<!ENTITY sercmd "sercmd"> +<!ENTITY ctlsocket "ser_ctl"> These are mentioned in several doc files and will be easier to handle if we use entities. /O