What's Changed

This release includes no spec changes only clarifications and other document improvements

clarification of CHERI PTE faults - no spec changes

• CHERI PTE fault overhaul by @tariqkurd-repo in #531

fixing minor documentation issues

• small fixes by @tariqkurd-repo in #530
• remove unnecessary line breaks by @tariqkurd-repo in #533

Full Changelog: v0.9.4-release...v0.9.4.1-prerelease