Update CRASH-pubs.json