Random newlines inserted when pasting a chunk of HTML code September 16, 2022 by Tarik Billa Random newlines inserted when pasting a chunk of HTML code