docs: private ExtensionUserManagement getExtensionUserManagement() {
  		if (extensionUsers == null) {
  			extensionUsers = Control.getSingleton().getExtensionLoader().getExtension(ExtensionUserManagement.class);
  		}
  		return extensionUsers;
  	}