6/16    In web browsers, what's the difference between add-ons, plugins, and
        extensions?  Thx.