Update DEFT-pubs.json