QuickSpec issues in release 1.2

[kubukoz]

In chapter 5.2:

1. The prose claims nearly fifty properties (it was 47 at the time), but the QuickSpec listing shows 70. Perhaps it got better at it?

Looks like the CiteLaw functionality broke, though:

Here's the old rendered version:

[kubukoz]

seeing the same in chapter 6.1:

[isovector]

Ugh. The bitrot is real, and this is the sort of problem I avoid rebuilding too often because of :)