EditRst

This script edits all .rst files in the docs directory to update the title lines.

See also: “Modify *.rst files”.