Instead of removing this, shouldn't we just add `# encoding: utf-8` to the top of the file?