More URL query parameters
!353 (merged) introduced URL/routing support, now we need to use a few more query parameters in the URLs. Specifically, we should encode whether other users' servers are shown or hidden on the server list view.
!353 (merged) introduced URL/routing support, now we need to use a few more query parameters in the URLs. Specifically, we should encode whether other users' servers are shown or hidden on the server list view.