Pour information : Ils vous blâment 
Salut Pod,
Merci d’avoir pris le temps de nous contacter !
Nous comprenons votre préoccupation concernant le format HTML lors de la copie et du collage depuis Discord.
Nous avons examiné votre problème, et il semble que différentes applications gèrent le texte multiligne copié différemment. Certaines conservent l’espacement des lignes d’origine (comme Notepad ou Google Spreadsheet), tandis que d’autres non (comme Google Docs ou Discourse, comme vous l’avez noté).
Notre objectif est de garantir que nos fonctionnalités fonctionnent sur plusieurs plateformes et applications. Cependant, comme chaque plateforme et application gère ces fonctions différemment, cela peut être difficile.
J’espère que cela résume la situation ! Mais n’hésitez pas à me faire savoir si vous avez besoin d’autre chose !
Cordialement,
Nico
Il ne semble pas que Discord ou Discourse vont changer, donc je suppose que je devrai juste me souvenir de faire CTRL+SHIFT+P pour faire un collage magique si jamais je copie depuis Discord à nouveau, et ce bug peut être là au cas où quelqu’un d’autre rencontrerait le problème.
(J’ai essayé de sauvegarder leur contenu CF_HTML dans un fichier et de le regarder, et il a les sauts de ligne dans Firefox, Chrome, Edge. Je ne connais pas assez le développement web pour savoir si ce qu’ils émettent est du HTML « valide », ou simplement du HTML qu’un navigateur rendra à contrecœur correctement parce qu’il l’interprète comme du HTML 1.1 ou quelque chose comme ça)