Custom random server list

# Feature request

## Description

Currently, the fastest server list can be customized, but not the random server list.

## Describe the solution you'd like

Allow to select which servers can be chosen when using the "Random server" option.

## Describe alternatives you've considered

None