(@dvsuresh : To be honest with you, I almost always forget to add it to my commit ; I've a quite ridiculous [git hook](https://gist.github.com/robin850/5890596) to avoid forgetting it on my doc fork if you want).