They only seem to have made .moi, .bot, and 5 Japanese gTLDs generally available.

There are many more they’ve been sitting on for a few years now. .bot was the most recent to launch and that was a good few years ago now [1].

Of course, there’s also the saga with Brazil over .amazon

[1] https://aws.amazon.com/blogs/aws/new-bot-gtld-from-amazon/