cleanfile: a script to clean up stealth whitespace