## Source https://github.com/ArctosDB/dev/issues/378 ## Summary Give the merger tool a bit of time to catch up, then remove it