fix: apply newlines before and after comments when formatting syntax#8626

kmill merged 3 commits intoleanprover:masterleanprover/lean4:masterfrom

kmill:kmill_fix_3791kmill/lean4:kmill_fix_3791Copy head branch name to clipboard