[bin] Add script to remove non-Windows chars from filenames.
Update to Infinality fonts, all over the place.