update pandoc-fixes.py to handle some more unusual section headers in the User Guide