The cable is rated at 4A (higher than it would be in PVC). The TS100 manual indicates a consumption of 2.7A at 24V so you have some leeway. Also, the only time it is going to be pulling full current is during warm-up, it might get close if you're soldering something with high thermal mass, but on average, the current will be much lower.
Irrc, the supplier also used to do a 0.4mm2, rated at 6A. I have one of each, I use the thinner one on a 6S Lithium battery pack (Lidl drill one) now but I originally had it on my 24V mains supply without problems.