I think that in fact, the Opt key won’t work for individual-staff-notations on the iPad for the same reasons that Cmd-click and Shift-click won’t do selections. I hadn’t yet had a chance to update the manual topics but I’ll try to get that corrected asap. Apologies for the inconvenience in the meantime.