I just stumbled over a web-site that not only allows to extracts images and text out of PDF files, but also fonts. These fonts can be saved as TTF files, which can be quite useful. A similar feature for PDF Tools seems like a good idea.
We had this discussed - but unfortunately we do not see this as a high priority feature. Given that there are already other tools that offer this functionality for free and the expected very low demand for it - we have decided to not implement it for now.
That website looks good enough (and is free) - and given the very specific way fonts are encoded inside a PDF (and usually it's just the needed subsets) - I doubt that any other resource will produce any different/better results - simply because of the limited info in the file for the fonts.
Thanks. The problem with the web-site is its upload size limit of 14 mb. My PDF files are usually larger than that. I can use tricks via page editing + extraction to get a smaller file, but it's not really convenient. That being said, it's not really a much needed function.