It's certainly not official, so please don't take all the choices MiniRust makes as being anyone's opinion but mine -- but we're working towards having somethin

It's certainly not official, so please don't take all the choices MiniRust makes as being anyone's opinion but mine -- but we're working towards having something official like it. :)