Alterações no editor de texto?

Ou então reportar isso aos desenvolvedores e ver se eles conseguem ajustar o estilo CSS para que ele seja menos invasivo. Isso também foi a causa de um dos meus recentes relatórios Contribute > UX; algum tipo de regressão na extensão fez com que os estilos CSS vazassem. (Acho que esse tópico foi excluído? Não consigo encontrá-lo em lugar nenhum)