Exactly, you can use it for some tasks. But why "explicitly forbid generative AI".
If you use AI to make repetitive tasks less repetitive, and clean up any LLM-ness afterwards, would they notice or care?
I find blanket bans inhibitive, and reeks of fear of change, rather than a real substantive stance.
They explain why in their AI policy. It's an ethical stance. Of course they wouldn't notice if there aren't clear signs of LLM-ness, but that's not the main reason why they forbid it.
https://docs.postmarketos.org/policies-and-processes/develop...
> But why "explicitly forbid generative AI".
The AI policy linked from the OP explains why. It's half not wanting to deal with slop, and half ethical concerns which still apply when it's used judiciously.
> and clean up any LLM-ness afterwards
That never happens. It's actually easier to write the code from scratch and avoid LLMness altogether.