✏️ Editing: types.html