title: PDFminer: extract text with its font information
body: <p>I find <a href="https://stackoverflow.com/questions/22329508/pdf-miner-extract-font-size">this question</a>, but it uses command line, and I do not want to call a Python script in command line using subprocess and parse HTML files to get the font information.</p>
  
  <p>I want to use PDFminer as a library, and I find <a href="https://stackoverflow.com/questions/5725278/how-do-i-use-pdfminer-as-a-library">this question</a>, but they are just all about extracting plain texts, without other information such as font name, font size, and so on.</p>