Somehow it used to be GB18030 and now it's UTF-8. I think my edit has the right encoding, right?