Hi Ludo,
> (Arun: surprisingly, <https://issues.guix.gnu.org/75309> is 404. Any > idea what’s up?) Unfortunately, recently, mumi seems to be missing some issues when indexing. I believe this is related to the recent optimizations I put in to speed up indexing. I am hoping the upcoming change to mumi's indexing https://issues.guix.gnu.org/77585 will fix this. Regards, Arun
