Suggested corrections/improvements to frama-c installation on Mac

Based on installing frama-c per the instructions for Mac on frama-c.com on MacOS 12.6.3 (a clean Parallels VM).

Suggest a step 2.5) run opam init
Suggest a step 6) run why3 config detect

But note that when I do, I receive the report: Prover Alt-Ergo version 2.4.2 is not recognized Known versions for this prover: 2.4.0, 2.4.1 1 provers added (including 1 prover(s) with na unrecognized version)

This is unsettling. Though a test program seems to indicate that 2.4.2 is used without trouble.

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information