msg.sh: fix bug in sectioning command. Use more sectioning commands dbg-opts.sh: add --trace option lib/rstext.py: in support of RSt help.