Fix problems with spider doc and regen PDF.