✏️ Editing: extensions.json