Groups users by domain, sorts them, and adds toggleable headers.
As of 2024-10-11. See the latest version.
