Close call, nevertheless, it's silly to keep that commit on the release page.
It's silly to not have rewritten it out of git history.
It's silly to not have rewritten it out of git history.