A intenção é bem simples, quero fazer um <strike>
(tachado) no texto do email, p.ex.: tachado.
Encontrei a biblioteca KartikTalwar/gmail.js: Gmail JavaScript API, mas exige umas voltas tremendas e a criação de um extensão Chrome para fazer alguma coisa parecida.
Às vezes uso snippets JS no Developer Tools para manipular o DOM das páginas, mas dúvido que seja o caminho:
Alguma alternativa?