ありがとうございました。

実は頂点のユニークID（以下UID）に関連づけるデータを付加するのに、
そのユニークIDの寿命の管理が厄介であるため、それをなんとかしようと
考えてこの件に気がつきました。
（例えばUID=1の頂点を追加してUndoして別の操作をするとUID=1は完全に無効になるけれど、
これはOnObjectModifiedごとに総あたりしないとわからない。
UID=1の頂点追加の後、UID=1に関連づけたプラグイン固有データ追加、
その追加履歴をプラグイン側で保存してUpdateUndoなら、
Undo操作でプラグイン固有データから削除できるので、総あたりで
調べなくとも無効になったUIDに関する情報を先に消去できる。
でも、調べてみたら標準のアンドゥバッファを大量に浪費してしまう。）

なので、もし頂点が追加・削除されるごとにプラグイン側に
「どの頂点が追加・削除されたか」を通知する方が容易であるならば、
私としてはそちらを優先していただきたいと思う次第です。

注文ばかり多くなって申し訳ありませんが、ご検討のほどよろしく
お願い致します。