(For release notes for old versions, please Section 7, “Release notes: past releases”.)
Added --auto-pre-doc-comments option.
User manual revised, and now available in PDF format as well.
Extra syntax parsed, e.g. some things related to constraints in Vera.