updated dev.html with latest (itemset) fixes