I'll be moving the LyX boxes now.
The actual move will take about 2 hrs, but since also the dns zone
files has to change it might take up to 2 days for all to be able to
contact lyx.org.
Hopefully everything is setup correctly for the move...
Lgb
