2013-05-05-10.05.22: src/lib/src/set.api:  For brevity and consistency renamed  delete -> drop.