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