Hello, I just wanted to signal that MiKTeX (since at least version 1.20) is TDS-compliant (at least afaict). Ok, thanks for the info.