Hi! I noticed that TeX Live includes two packages: doublestroke.tpm and dstroke.tpm which seem to contain the same fonts (i.e. this looks like a duplication). Best, v.