Indeed. I had that in mind when writing my comment, but it's good that you made this part explicit. You'd better have your editor / tools set to use UTF-8 thou

Indeed. I had that in mind when writing my comment, but it's good that you made this part explicit. You'd better have your editor / tools set to use UTF-8 though in case some non-ascii characters end up in your file or else you might be in for some pain.