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