Releasing docs: Some minor cleanups