Plug-in do Chrome - Permissão chrome-devtools: // * / * é desconhecido ou o padrão de URL está incorreto

Estou mantendo uma extensão para o Google Chrome e estou recebendo reclamações de usuários aleatórios dizendo que ela simplesmente parou de funcionar.

A mensagem de erro na seção "extensões" é esta:

Chrome plugin - Permission chrome-devtools://*/* is unknown or URL pattern is malformed

Parece que não é um problema muito popular - não consegui encontrar nenhum vestígio disso. Minha seção de permissões do arquivo de manifesto é assim:

    "permissions": [
       "tabs", "http://*/*", "https://*/*", "chrome-devtools://*/*"
    ]

E funciona muito bem para a maioria das pessoas

questionAnswers(1)

yourAnswerToTheQuestion