[emi.dcache.srm-probes] Tidy spec more & re-import sources.