the docstring created by define-minor-mode with nil DOC is useful and often better than what users write. Should DOC therefore be optional?

Philipp