(This was probably a "write_file" embedded in source somewhere on this wiki - ignore it, this needs to be cleaned up)
Actually, write_file is one of TclX Commands