Hyperref destination optimizer
