It’s also an underestimate because Firefox doesn’t always report itself via user agent (maybe not even by default, IIRC).