On Mon, Jan 02, 2017 at 09:59:20PM +0100, Ludovic Courtès wrote:
> I’m all for adding it to the repo and recommending it in HACKING.
> 
> Leo?

I've attached a patch.

I'm not sure where to store the hook.