Makefile downloads Histograms.json from tip, specgen.py uses it, mr2disk copies it to html/data