v3.1
712ae1c8 · redo manual frontpage [from .pdf to tex] and update release string. ·