Richard Heck e29574d270 Apparently, documentation changes were already in current master,
so the previous set of commits over-wrote some of what was there.
This restores the status quo ante.
2014-04-18 11:16:52 -04:00
..