I am impressed with how easy it easy to run miri on things these days. Bravo! And thanks for the suggestion.
To add to this, :heart: @RalfJ for sending proactive PRs to the playground when something changes about how Miri is built!
you adding miri to the playground was the first step to miri getting any kind of "official" status, so that's the least I can do :)