Logtalk/manuals/userman
