Upgrade to version 0.0.9-dev

Including the new TableOfContents filter, with its utilities commented