Wrote a tiny script to renumber files after ordering them in an editor https://github.com/mdom/scripts/blob/master/bin/numprefix