Add note about the editor encoding