[bugzilla 404624] Improve "Mark doc as merged" quick-fix: deleting the
annotation when fix is applied
3 files changed