“GoodNotes widget”