Hmm, depois de tentar mais, parece que o receptor Citrix está funcionando, mas que não há nenhum plugin na lista de plug-ins visível no Firefox. Quando vou para a página de login da Citrix da minha empresa, posso fazer o login e iniciar uma sessão. O Firefox perguntará se eu quero salvar o arquivo launch.ica ou se eu quero abri-lo usando o "Citrix Reciever Engine". Ao escolher o último, isso me leva a uma sessão da Citrix. Então, funciona, mesmo sem o plugin ... Parece, portanto, que não há problema depois de tudo ...