"page.%dx"; this works around an acroread bug that causes targets not to be
recognized if their name is a prefix of another target in the file.