Comment by smabie

Maybe just remove it from the commit history? People are still going to pay the cost even if you removed it in the most recent commit.