Figure out extensions vs browser extension naming and resolve confusion

Created by: Joelkw

We get common feedback (2-3x/month internally at the moment) that "sourcegraph extensions" vs "browser extension" is confusing.

I and members of the web team all agree (and many of us hit this confusion ourselves when we joined).

RFC draft (very WIP) is here