More z3 bits: Docs and better $PREFIX handling.