When using Apple Pencil in OCR mode, the pencil menu offers return, keyboard. A delete key rather than undo (or both) would save having to open the keyboard and then close it again. A great app thank you.