v0.1.17

Maintenance update. No new features are announced in this release.