User administration / security: Delete an user from SonarQube database

A post was split to a new topic: How to rename a GitHub user that doesn’t exist anymore?