go/doc.ToHTML: "all punctuation" is too restrictive for headers

[rogpeppe]

go version devel +1af769d Thu Oct 13 06:16:53 2016 +0000 linux/amd64

I wanted a header inside my godoc package comment of the form:

Foo, bar and baz

This doesn't format as a header because of the comma.
No commas in headers seems somewhat overly restrictive.

[bradfitz]

/cc @robpike

[robpike]

I do not own godoc's rules. @griesemer does.

[griesemer]

This code is in go/doc. I'm reluctant to make changes here. I can easily see that a single line paragraph that uses a comma but misses a period at the end would become a header inadvertently.

Comments anybody?

[robpike]

The rule is simple and easy to understand. I think changing it could be a mistake.

[rsc]

Sounds like there is agreement not to do this. A header "Foo bar and baz" doesn't seem so awful.