26 Nov
2018
26 Nov
'18
3:47 a.m.
I think it's fine to have it as ISO-8859-1 as long as it is documented. My pending commit adds a line
//#charset iso-8859-1 // hardcoded, can not be changed