Bump version, regenerate documentation, cosmetic fixes