On May 21, 2020, at 10:05, Christopher Jones wrote: > If you want pass a message on to the user, you should not use verbose output to do that. Instead just use a regular ‘ui_msg' But you usually shouldn't use that either; instead, use `notes`.