This version adds HTML and SVG export by @jdb78, several small fixes by @johnyf, some individual fixes by other community members, and most importantly, brings the long-outdated PyPI package back into sync with this development repo.
Thanks to everyone who contributed to this release!
