Encontrei minha própria resposta, pelo menos uma resposta. Consegui fazer isso atribuindo a cada usuário uma porta diferente; então o pedido vai para o usuário correto.
Instale o dconf-tools com
sudo apt-get install dconf-tools
Execute o editor dconf (do Dash) e navegue para:
org / gnome / desktop / remote-access
Defina a opção "use-alternative-port" como marcada e defina "alternative-port" para algum outro número. Eu usei números incrementais começando com 5901 para o primeiro usuário, 5902 para o segundo, etc.
Faça isso para cada usuário e anote seus números de porta. Então, quando você quiser acessar a tela deste usuário, substitua a porta padrão ao se conectar com o cliente (geralmente acrescentando ': 5901' ou mais ao endereço IP).