Breaking the Specification Certified PDF