Is there a cleanup for that mmapped events file, or is it left to grow indefinitely?
Discussion
There is never much junk to clean up. Deleted events are a small percentage of total events. If you want to remove old events, then yes a cleanup would be needed.
I'm working on code that rebuilds the data.