Not yet. We're still pending on their first appearances in Season 3.
And by the way, the names that are listed (excluding Anyu since her name has already been proven), those are listed in Wikipedia, which is not always a reliable source. Despite their appearances, those names might not be the official names for those characters.
How do u know character names
They were seen in wikipedia. The name Anyu is true but Big red and Moth girl posted in that website might not be official names because wikipedia isnt always reliable it can also contain some false information
I'm not truly sure about this I would believe that if they were got from end credits but MagicalGem98 or other admins might delete those I know they will see it false if they see those names you have put in their page. I check the end credits of season 2 or 3 but I did not see this name