On 2023-05-31 04:57, Bruno Haible wrote:
But I think it would be good to write Copyright-paperwork-exempt: yes (like everyone else does), not Copyright-paperwork-exempt: true
Yes, that was my intent; I merely forgot whether it was "yes" or "true". Adding this to HACKING sounds good.
