Write docs about migrated extensions

Created by: philipp-spiess

Since those are now in the product, we should move the documentation from the extension repos into our product docs.

• Open in editor: https://github.com/sourcegraph/sourcegraph/pull/41105
• Git extras
• Search export
• Go import search

/cc @muratsu @jjinnii @ryankscott