✏️ Editing: options-page-hide-users.js