Fixes to doc generation, updated release date