Playerlist update:
We have changed the code to not recreate/hide the playerlist anymore when you switch to another server. We have also fixed problems with the docking option, so it should work much better now
There is still a problem with the playerlist becoming smaller each time you open Graal, will try to fix that.