The statement "shutdown defrag" now compresses the database (with the MVStore). The MVStore now automatically shrinks the file in the background if there is no read or write activity. This might be a bit too aggressive; feedback is welcome!