autogen spec doc formatting improvements