Tem uma issue com sugestão de UI aqui: https://github.com/filipedeschamps/tabnews.com.br/issues/791
Infelizmente, atualmente existem muitas issues duplicadas.
Respondendo a "Também senti falta disso enquanto estava navega..." dentro da publicação Barra de pesquisa do Tabnews
1
1
Já imaginava isso, assim como o marcosmallet ali em cima também senti muita falta da barra de pesquisa pra realizar buscas por issues parecidas e evitar um conteúdo duplicado ( pelo menos em questão de dúvidas como as minhas, acho super interessante diferentes pontos de vista sobre um mesmo assunto. )
Agradeço pela atenção :3