Dear all,
just found the following analysis on w3techs.com that shows that aolserver is the #1 web server on high traffic sites. It is used on a few sites, but these are high traffic sites. Quite impressive, taken into account, that many naviserver/aolserver installations are running behind nginx (and therefore counted as nginx; at least our production sites).
-gustaf neumann