✏️ Editing: encodings.py