Optimising T-count is NP-hard. - John van de Wetering; Matt Amy (CoRR, 2023)