The server has now been upgraded to 0.19!

This is quite a bit release with many changes. So far so good, but please report any problems here.