Fixed and improved documentation about prepress extensions: - AFAIU all of them have been implemented in both the PDF and Java2D renderers - the default value of crop-offset is bleed