Why it’s time to kill the PDF