clone of git://git.lyx.org/lyx.git