Just checked a few sites: Miktex: http://www.miktex.org/faq/general.html#license
The MiKTeX distribution is a conglomerate of many software packages. To the best of our knowledge, all packages meet the requirements of the Debian Free Software Guidelines. This means that MiKTeX may be freely used, copied, modified, and redistributed. ImageMagick: ImageMagick is free software: it is delivered with full source code and can be freely used, copied, modified and distributed. Its license is compatible with the GPL. It runs on all major operating systems. aspell: there is a windows port at http://aspell.net/win32/ amd we can easily add it in. latex2html / miktex seems to be dependent on perl. So, at least there is no license issue that prevents us from bundling everything into a single lyx distribution. Bo