The server has now been upgraded to 0.18.5!

Please report any problems here.