Utility for modifying page markings of PDF documents