"core/drupal.checkbox" (misc/checkbox.js) has never loaded on user permission page

Steps to reproduce and test

1. Fresh Drupal install (with either Seven or Claro as admin theme)
2. Disable JavaScript aggregation in "admin/config/development/performance", and clear cache.
3. Go to "admin/people/permissions"
4. Check the network tab -> misc/checkbox.js won't be loaded
5. Confirm the above by ticking any unticked permission checkbox for the "Authenticated" role:
   • actual behavior: the respective checkboxes for the permissions for all other roles disappear, except for the Anonymous role
   • expected behavior: the respective checkboxes for the permissions should be ticked for all other roles, except Anonymous
6. Apply the patch, clear cache and check the network tab again -> misc/checkbox.js should be loaded.
7. Try clicking any unticked checkbox for the "Authenticated" role -> the respective checkboxes for the permissions should be ticked for all other roles, except Anonymous

In fact, we need to register the lib explicitly: (above reproduce steps isn't important)
https://git.drupalcode.org/project/drupal/-/blob/9.3.x/core/modules/user...

This change may improve/reduce the performance: 🐛 Improve performance of /admin/people/permissions Needs work