Es handelt sich dabei um eine Extension bzw. Erweiterung. Das kannst du wie ein Plugin verstehen.
Extension erhälst du unter der offizielllen Siehe Extensionroom - http://extensionroom.mozdev.org/
Oder dirket unter Extras/Erweiterungen/ und erweiterungen herunterladen