> I have updated the user_doc's documentation. It includes an example that
> uses 'printf' to insert newlines into a documentation string. This works
> in any frontend.
>
> I have also documented the function 'print_user_doc' that allows a user
> to export the hashtable containing all user-generated documentation.
> By default, this overwrites maxima-userinfo.lisp
Perfect, thank you for sharing user_doc. Additionally, you
taught me how to include special characters in strings using
printf.
Martin