Есть ли способ использовать pdfminer для извлечения размера шрифта.Я не хочу использовать инструмент командной строки, упомянутый в этом ответе: ссылка