with this one, if i add `\RequirePackage{hyperref}` before `\documentclass{amsart}`, the message Package hyperref Warning: Option `pdfpagelabels' is turned off
(hyperref) because \thepage is undefined. appears in the log. but i can't test with the latest latex (last one installed here is tex live 2012). so is that an acceptable workaround? (@egreg?)