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