This message was deleted.

https://www.citrix.com/blogs/2018/02/12/citrix-acquires-cedexis/ is the only thing I can find, sort of talks about geo location of initial DNS for gateway service

Thanks Mike, yeah that and some random reddit reply I made 3 years ago was all I could find on the topic