pdf: remove old debug code