#! bash grep -E "doi\.org\/10.\d+\/[^<>\\]+" data/publications.json -o | sort | uniq > data/dois