✏️ Editing: user-timing.js