Contribution vs quality, and a few notes on the Platform process

[David Virebayre]

I didn't take part in the discussions, but I'd like to thank you for
the work you've done.

I am almost certain this will not make you feel better, but there is
no way that renaming some functions will change the (huge) respect
I've got for your efforts.

On the contrary, your move to change the name against your wish is
probably going to solve what was looking like an impasse, for that my
respect grows even bigger.

Again, thanks.

David.