Dear all, I am tempted to remove references to Ubuntu PPAs from our official download page as it slowly becomes obsolete. Before I do that is anyone interested to provide PPAs fro newwer lyx versions(?), esp. for upcoming 2.4? CC-ing Liviu. Pavel