Comment by Macha

In fact many PDFs still do convert the text to shapes rather than use the font. It does cause problems when you need to copy text out though