Since in `open_file`, the content is first read into a `String`, files that aren't UTF-8 cannot be opened.