This is a maintenance release.
Changes: - new command today - fix svg output: always use UTF-8 encoding for header info.
Anonymous
You seem to have CSS turned off. Please don't fill out this field.