I agree that it would also be ideal to have a way to edit the way an existing note is notated without having to delete it and reinput it, but again, properties are not the best way to do this: we need some new editing functionality, which we haven’t yet decided exactly how it should work.