Olá @Stephane_Roy,
Desculpe por não ter visto isso mais cedo. Pelo que me lembro, Penar fez a maior parte do trabalho nisso, mas eu escrevi a especificação, então posso responder à maioria das suas perguntas sobre essa funcionalidade. Sinta-se à vontade para me cutucar aqui se tiver mais perguntas 
Abaixo está um exemplo do que fiz dentro da nossa Categoria Gitlab. Você pode ver na barra de pesquisa do cabeçalho que, assim que digitamos um termo de pesquisa (neste caso, pipeline), você pode pesquisar no fórum do gitlab (clicando no botão de comentários), na documentação do gitlab (livro), no projeto gitlab (ticket) e nas bibliotecas python do gitlab.
Abaixo está um exemplo dos parâmetros que permitem pesquisar no fórum do gitlab.
| parâmetros | valor |
|---|---|
| prefixo | https://forum.gitlab.com/ |
| ícone | comments |
| alvo | _blank |
| showInCategories | 20,33,90 |
Os parâmetros, pelo que me lembro, são
| parâmetros | valor |
|---|---|
| prefixo | URL do domínio com barra invertida |
| ícone | nome do ícone svg. Você pode usar ícones fontawesome ou ícones personalizados |
| alvo | |
| showInCategories | lista de IDs de categorias em que o ícone deve aparecer |
| excludeFromCategories | Mostrar o ícone em todas as categorias exceto esta lista de categorias |
use apenas um de showInCategories ou excludeFromCategories
Abaixo está um dos commits relacionados, de março a abril de 2023, mais ou menos. O caso de teste também é um bom exemplo:
DEV: Add test case by pmusaraj · Pull Request #23 · discourse/discourse-header-search · GitHub