Regenerate core-spec.pdf.

This applies the changes in commit
a924debcbb3dc5c004f988fcc1b480a01ba276dd to the PDF file.