Comment by themanualstates

The original commit is (publicly) preserved on Github.com until perpetuity, so I wouldn't use the term 'remove'.