Comment by dmazin

The file numbering thing is awesome, good job. (And, truthfully, I wish it existed separately because I want it, but not the other stuff).