Hi Bastien,

> I’m considering apply the patch below, renaming CONTRIBUTE to
> CONTRIBUTE.org and README to README.org.

I’ve actually been thinking “why don’t we add .org?” for a while now, so I’d be
glad to see this changed.

The other changes you’ve made all look sensible to me 👍.

All the best,
Timothy