The PRC needs more code comments for explanation

In the spirit of #463.  But unlike with that issue, here I don't propose changing implementation, just interspersing a whole lot more comments.  Code comments are there to explain how things work when not obvious.  Because there's a whole lot in PRC that's not obvious, and because each further change has become fraught with seemingly large amounts of study, I think our course is clear.