[NoGravitas]

It was an official extension, distributed separately from Firefox, but it was so ubiquitous and a dependency for so many other Firefox extensions, that it would be unusual to not have it installed.