Lest we get too complacent.
ECHR refers to Semenya throughout as "she". Semenya has a DSD, 46XY, and is chromosomally male with testosterone levels in the normal male range, not the normal female range.
World Athletics are holding the line, though.
https://www.bbc.co.uk/sport/athletics/66162083