[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.

[anegri]

Took it out now, seems there is a bit of a lag for the filesize to update unfortunately