Update installation & docs to target MIRA 4.0 (was using RC5)