Partial rewrite of Python doc, including yet-undeployed command-mode syntax