[MonetDB-users] MonetDB version number