Currently there's no reliable way to identify system users, both backend and frontend. Copying a comment from @Tgr in https://gerrit.wikimedia.org/r/#/c/mediawiki/core/+/476492/, we could introduce a new user group which is automatically assigned inside User::newSystemUser and cannot be removed or assigned otherwise. This way, we'd have two benefits:
- Users will identify system users at a glance via user groups
- We could have a new method, User::isSystemUser, which would simply check for the group