Upgrade of lyx server

[Lars Gullik Bjønnes]

The lyx server will be upgraded to new hardware and new os about
mid-week. (this week.)

I have little control over that, but I presume it will just work.

-- 
        Lgb