tex2lyx/TODO.txt: backport info/update from master