+ some pdf-related tools