O destaque de texto em cinza não funciona mais no sistema Debian / stretch. Nem no Emacs por indicar a região selecionada, nem aqui no editor do navegador para o texto within backticks .
Qual nível do sistema poderia ser responsável por esse problema?
Como devo proceder para depurar?