<DC-IRC> [Discord] <ioncube7221> Does it have to be `.dtso` will file extension `.dts` will work?