No terminal, use o comando find para localizar todos os arquivos terminados em .html e use o comando grep para filtrar os resultados para mostrar apenas os nomes dos arquivos que contêm <abbr> string:
cd /path-to-dir ## change directories to the root directory that you are searching from
find . -name "*.html" -exec grep -l '<abbr>' {} +
O comando find procura por arquivos em uma hierarquia de diretórios de forma recursiva por padrão.
Ou combine os dois comandos em um único comando:
find /path-to-dir -name "*.html" -exec grep -l '<abbr>' {} +