Thanks for investigating. Marking as fixed for now, since I don't think this is a bug inside RedNotebook.
Thanks for investigating. Marking as fixed for now, since I don't think this is a bug inside RedNotebook.