Markmail.org has been shut down

It seems that the markmail.org open source email archiver/indexer has been shut down. Recently all web connection requests to markmail.org have failed. I can't find any public notice of this anywhere. The MarkLogic developer page for it is still up, but all the links to markmail.org are dead:

https://developer.marklogic.com/code/markmail/

One of my colleagues sent MarkLogic an email asking about its status, and he received this reply:

> I’m sorry to inform you, but with the acquisition of MarkLogic by Progress, it was decided to shut down MarkMail.

(Sorry there's no attribution, but this was private email, and I didn't want to post names without an official public announcement.)

The last time the Wayback Machine successfully indexed markmail.org (at least its home page) was Aug 1, 2023, so this seems to have happened sometime during the past few weeks.

I don't think there's anything to be done about this, but I figured I should let people know. This feels like a great loss to me. I suspect a bunch of open source projects were relying on public email indexers. I also note that quite a number of links in the HN archives -- and probably a lot of other places around the web -- point to markmail.org, and these links are now broken. I don't know whether these can be resolved through the Wayback Machine.

(Sigh.)