Where is Pro Trinket on the Editor?

I'm a very new newbie with a Pro Trinket and I'm trying to find what I need to get started in the web editor. I don't see the Pro Trinket in the drop-down menu where it says "Select Board or Port". Am I supposed to select a different one? If so, which?

The Pro Trinket is not supported by the Arduino Web Editor. Please use the standard Arduino IDE, which you can download for free here: