[MonetDB-users] rename table?