pagecolor no longer exists;
uniform use of pdfpagelabels (see 790f73fa8b36);

--- a/lib/texinputs/pdfsetup.sty	Tue Oct 25 19:44:56 2016 +0200
+++ b/lib/texinputs/pdfsetup.sty	Tue Oct 25 20:48:03 2016 +0200
@@ -4,4 +4,4 @@
 
 \usepackage{color}
 \definecolor{linkcolor}{rgb}{0,0,0.5}
-\usepackage[colorlinks=true,linkcolor=linkcolor,citecolor=linkcolor,filecolor=linkcolor,pagecolor=linkcolor,urlcolor=linkcolor]{hyperref}
+\usepackage[colorlinks=true,linkcolor=linkcolor,citecolor=linkcolor,filecolor=linkcolor,urlcolor=linkcolor,pdfpagelabels]{hyperref}

--- a/src/Doc/pdfsetup.sty	Tue Oct 25 19:44:56 2016 +0200
+++ b/src/Doc/pdfsetup.sty	Tue Oct 25 20:48:03 2016 +0200
@@ -6,7 +6,7 @@
 
 \usepackage{color}
 \definecolor{linkcolor}{rgb}{0,0,0}
-\usepackage[colorlinks=true,linkcolor=linkcolor,citecolor=linkcolor,filecolor=linkcolor,pagecolor=linkcolor,urlcolor=linkcolor,pdfpagelabels]{hyperref}
+\usepackage[colorlinks=true,linkcolor=linkcolor,citecolor=linkcolor,filecolor=linkcolor,urlcolor=linkcolor,pdfpagelabels]{hyperref}
 
 \newcommand{\hfootref}[2]{\href{#1}{#2}\footnote{\url{#1}}}
 \gdef\fnote#1{\hyperpage{#1}n}