It is not a pointless difference. The use of gonadotropin-releasing hormone (GnRH) agonists have been banned in the UK for the treatment of gender dysphoria. They are of course still available for treating precocious puberty, regardless of how anyone identifies.