(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]