Dang, you're right, and the user list is deliberately hidden. I tried posting the code to view it, but for some reason my comment was rejected. :(
edit:
curl -fsSL https://raw.githubusercontent.com/asimons04/tesseract/master/static/data/policy.dat | base64 -d | gunzip | jq .
Currently shows 539 banned users and 2218 bannded user regexes.