HappyDoc 3.1

I released HappyDoc version 3.1 this morning. The only changes have
to do with file headers and correcting an “assignment to None” error
that came up when None changed from a builtin to a keyword.