On 2013–09–26 Aditya Mahajan wrote:

> Wouldn't it be better to move the manuals to github rather than
> keeping them on an svn server?

+1

Marco