Hi,
We do not make video server hostnames available through any public APIs. They are subject to change, and are not meant to be used in 3rd party programs.
We have found in many cases that browser addons that attempt to use or alter server paths often lead to lower quality of service or ultimately no service if/when our network changes.We of course would be interested to know about developers such as yourself would use this kind of data 