RE/pinboard

www.rabotat.org

Using my extension, instead, you can see the file size in the dialog box that appears just after you clicked on a PDF link and then choose to download the file or to view it as an HTML page.