[gh-719] Hide the default "admin" user even if it belongs to roles. @1h00
Merge pull request #727 from tsteiner2/issue-719

Closes #719