Good, make sure you document that. Then be sure any such thing that accidentally happens is named after the person who most deserves to be pruned.