Text this: DsTau: study of tau neutrino production with 400 GeV protons from the CERN-SPS