Your comments

Thank you very much, Alexander.  Version 9.9.1 (308) fixes option-delete for me.

Thank you.  Rebooting the iPad fixed the problem.  I'm sorry that I didn't try that before submitting the bug report.