Informal poll of Tomcat version usage

All,

If you would be so kind, could you please fill-out this anonymous (at 
least, to us!) poll of which Tomcat version(s) you use?

https://strawpoll.com/bVg8BLDx1yY

I'm interested to see who is using what these days.

Our plan is to support Tomcat 9.x for a while in order to support Java 
EE products that have no plans to migrate to Jakarta EE, but the plans 
for Tomcat 10 and higher could be up for discussion based upon some 
rumors at Jakarta about releasing a new version of Jakarta EE alongside 
each of the Java LTS releases.

Until now, the Tomcat team has supported 3 separate Tomcat versions that 
track the various releases of Java EE (and now, Jakarta EE), and we've 
had a vague policy of supporting each version for about 10 years. If 
Jakarta EE quickens their step, we have to decide what we are going to do:

* Stick with 3 supported releases, drop 10-year goal
* Keep 10-year goal, support more release versions
* Something else?

Knowing how much "market share" each version of Tomcat has would be 
helpful to us when making decisions about how to go forward. For 
example, if we have a huge percentage of users running 9.0.x and another 
huge percentage running 11.0.x but not many using 10.x then maybe it's 
not that important for us to continue to support 10.x for a really long 
time. On the other hand, if the proportion of 10.x users is high, then 
we either need to encourage everyone to upgrade to 11.0.x or figure out 
why 10.x is still popular and plan for a longer support cycle.

Thanks,
-chris