Adding newline in middle of doc block comment adds triple-slash but no space after them #1702
Description
See attached screen recording. I would expect the new line to be prefixed with /// , inducing a space that separates the slashes from the comment.