No more blue pages in hyperref. Multiply-defined labels to be fixed.