Comment by rjmill

Very nice! Independently of this thread, I was delighted to discover the cross references between pages. It makes a big difference.