Encode accents to avoid relying on JS file encoding