Hey devs,

Love your game. I was unable to find a matching bug report, so here we are.

Trying the latest 0.17.1 (build 43001, linux64, alpha) experimental release shows that I cannot mark the currently selected public server as a favorite (clicking the gear on any non-selected server appears to ...