[Monetdb-developers] PF: back-merging the "new_updates" branch into the HEAD