Hi,

Online documentation at http://www.monetdb.org/Documentation/Cookbooks/ServerMgmt/ResourceLimits 
mentions:

> The database checkpoint can be made using 'monetdb checkpoint'

Yet checkpoint does not seem to be a valid monetdb command. Is it a typo,
an historical vestige?

Cheers,
- Philippe