* doc/misc/eudc.texi (The Server Hotlist): Update the default
value of 'eudc-options-file'.
Backport:
(cherry picked from commit 0575fd95d0)
* doc/misc/eudc.texi (The Server Hotlist): Update the default
value of 'eudc-options-file'.
Backport:
(cherry picked from commit 0575fd95d0)