Não importa muito, não é? Removi o aparte da minha postagem original. O ponto é que o editor de rich text em nossa instância está desativado, e eu fico feliz em mantê-lo desativado, desde que ativá-lo (na minha opinião) degrade o editor de markdown desta forma.
