I read that, but it doesn't read like he is aware of the option to revert a commit directly. More that he would remove them manually and commit that.

Little difference, but if "as clean as possible" was the goal, I think that would be the cleanest.

[edit] added the little words that my keyboard seems to filter out.