Z3 fetching was corrected.

Some corrections were inspired by git-9999::science.
TODO: to enrich at least install section and probably other sections too.