-calling user). Note that the <var/info argument/s supplied will be
-ignored by most services; if the builtin service being requested
-requires a <var/service-argument/ then this must be supplied to the
-client in the same argument as the <var/builtin-service/. See <ref
-id="execdirectives"> for details of the builtin services available,
-and <ref id="optoverride"> for details of the <tt/--override/ options.
+calling user).
+<p>
+
+If the builtin service being requested requires a
+<var/service-argument/ then this must be supplied to the client in the
+same argument as the <var/builtin-service/. See <ref
+id="dirs-execution"> for details of the builtin services available,
+and <ref id="optoverride"> for details of the <prgn/--override/
+options.
+<p>
+
+The actual service name passed will be the <var/builtin-service/; note
+that this actual service name (as opposed to the override data) and
+the <var/info-argument/s supplied will be ignored by most builtin
+services; the override mechanism and <prgn/execute-builtin/ will be
+used to ensure that the right builtin service is called with the right
+<var/service-argument/s.