Subject: Re: [mumi] [PATCH] README.org: Update instructions to run mumi locally.

From: Arun Isaac <[email-masked]>
Date: Fri, 07 Jun 2024 23:14:32 +0100

Applied, thanks!

I made a small modification to the final `mumi web' command so that the
web server listens on localhost.