Browser versions do not distinguish Safari numbers, but an additional table
"Browser engines" does report (combined) counts (without percentages for
some reason). Obviously a terrible hack, as Webkit numbers to not map
exactly, and platform distribution differences are lost.