feat: preserve and render widget messages in HTML output#817

Draft

alok wants to merge 3 commits intoleanprover:mainfrom

alok:feature/widget-messages

Commits on Mar 31, 2026

feat: add figure/image block directive to VersoManual

alok
and
claude
committed
Revert "feat: add figure/image block directive to VersoManual"
alok
committed
feat: render widget messages in HTML output (addresses #311)

alok
and
claude
committed