website: allow linking to a specific extension

It would be nice to be able to link to a given extension, for the purpose of sharing that it exists.

If extensions will have their own pages ideally this would just open up the extension's page, but in the interim it would be nice if it could jump to the section of the listing page where that extension's card is, and display the card as selected / highlighted / active.

Chrome's "link to highlight" tool is an existing potential solution, but it's brittle (will fail if the extension name or docker changes), and the results aren't super visually pleasing. As an example:
https://docs.bluerobotics.com/BlueOS-Extensions-Repository/#:~:text=Cerulean%20DVL,-Maintainer

Inizia individuando il codice del sito web che esegue il rendering dell’elenco delle estensioni e delle relative schede. Traccia il modo in cui un’estensione viene identificata e visualizzata, quindi determina come un link condiviso potrebbe selezionare o evidenziare quella scheda; il lavoro è completo quando un link apre direttamente l’estensione pertinente o porta in modo affidabile il focus sulla sua scheda senza dipendere da Chrome text fragments.

Scritto dal modello di indicizzazione a partire dal testo della issue.