Eu tenho que usar um site de terceiros, que só funciona bem no Internet Explorer.
Mas ainda preciso editar o HTML de algumas das páginas usando o F12 Developer Tools. Caso contrário, seria muito desconfortável usá-las.
Como posso aplicar essas alterações - ou alterações de HTML em geral - toda vez que visito essas páginas? Um arquivo HTML local não é uma opção, porque a página carrega conteúdo do servidor e o servidor não permite acesso de domínios externos.
Eu encontrei algo que ajuda. Eu posso ativar o recurso Acessibilidade do Internet Exporer e apontar para um arquivo css, que será aplicado a todas as páginas que eu abrir.
Agora tenho que ativar ou desativar esse arquivo, dependendo do site que eu uso no momento. Não é perfeito, mas muito bom.
No IE11, é encontrado aqui:
Internet Settings > Accessibility > Format document by using your own stylesheet