Worked around bug SF #125880: changed the text of three sections that really nasty TeX source to "bleed" into the PDF "bookmarks".
Worked around bug SF #125880: changed the text of three sections that
really nasty TeX source to "bleed" into the PDF "bookmarks".

sk-/python2.7-type-annotator,sk-/python2.7-type-annotator,sk-/python2.7-type-annotator