I don't look on the Haskell reddit very often these days (or, in fact, any reddit) but I just did, and I saw:

(a) Someone saying they hoped I'd adopt an LLM friendly policy for Idris, and
(b) Someone else saying, yeah, not gonna happen, and here is Edwin's explanation (which was a pretty accurate summary).

Thank you to person (b), whoever you were. Still not gonna happen. Don't even ask.

(In case anyone missed my justification: I'm an academic. I'm here to advance human understanding. Therefore I have exactly no interest in what generative AI can do and I'm going to spend exactly no time trying to get it to write any code for me.)

I realise I'm a stuck record on this topic. Don't care.

Also it's why nobody other than me can see the current progress of $(whatever it is I'm working on). Receiving contributions is not free. It never has been, but it's even more expensive now.