This really is annoying. Maybe the solution is a smarter PDF reader that can detect the printed page numbers and use that for its own numbering?