UTF-16 text files generated by Windows

By default, Windows generates .txt files using UTF-16 encoding; here's how I discovered that and converted one to UTF-8.