I am sure most of you already customize your prompts, but now you may
officially do so with CONFIG PROMPT CUSTOM! To do so, simply use CONFIG
PROMPT CUSTOM <prompt>. If you, however, decide that you prefer the
default prompt, you may revert to it by using the aforementioned command
with an empty prompt string.

Colours may also be used, for added variety. There is quite a lot of
information that you can add in your new custom prompt and most of the
details are covered in HELP PROMPT CUSTOM. It is recommended that you
read through that carefully, as customizing your prompt can be quite
complex.

As always, please bug any discrepancies with the system that you may
find.

Penned by my hand on the 16th of Ios, in the year 267 MA.