A PHP library for working with PDF documents