Clean up a few docstrings.
Simplify httpd-date-string.