Comments should be written in UTF-8
Brought to you by:
pvakevai
Currently the comment file encoding is whatever
encoding the user's machine uses at the moment.
Providing data files is impossible if the encoding is
not fixed to something specific and printing the report
sheats will fail if the characters used are not utf-8.
Hence, all IO should be changed so that the used
encoding is UTF-8.