Thanks, Ricardo! I think this new patch still isn't up on
issues.guix.gnu.org, but that's ok. It's not very urgent.

Should we consider more automated ways to redeploy mumi on every commit?
Or maybe, we should run a separate development server just for
that. WDYT?