v0.0.9

What's Changed

• Add docs versioning via mike by @EiffL in #32
• Polish docs-versioning toolchain (closes #33) by @EiffL in #35
• Lowercase w3id namespace: w3id.org/ASTRA → w3id.org/astra by @EiffL in #36

Full Changelog: v0.0.8...v0.0.9