History / [Setup] Installation Quirks

Why3 fixes have happened

fdupress committed Apr 3, 2026

Add a page documenting installation quirks, to keep main instructions free of fast-moving clutter.

fdupress committed May 22, 2025