which is exactly what hyperref does too. I wonder what the problem is? The problem was simply that no internal links (e.g., in the toc or in xref's) appeared when I included hyperref. I figured it was user error, so didn't bother to report anything.