v0.9.4.1-prerelease

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 Tariq Kurd (@tariqkurd-repo) in #531

fixing minor documentation issues

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

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