A small online library for pdf-texts.