Releasing docs: Minor cleanups