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.