REP-0127: clarifications and corrections preparing for acceptance review

This is ready for review, now.

There are two questions still unresolved. They are marked with `.. warning::` tags.

A formatted HTML version is here: http://farnsworth.csres.utexas.edu/reps/rep-0127.html