Document comment-fill-column in the manual (Bug#11636)