v0.1a7: update documentation to latest release