The "Magui Standard Edition" distribution