Minor updates to docs waiting for review