Regenerate docs with tweaks to option formatting