The docstring fetching script for the manual now formats lists as in commit r22212.
Authored by: bugman 2014-02-19
Parent: [r22212]
Child: [r22214]
