I guess that the ASCOM support page for Domes that you linked to in your opening post needs to be updated to reflect the now deprecated ASCOM Dome Control Panel (aka ASCOM Dome Control Hub) is replaced by ASCOM Device Hub, I expect Bob will deal with that when he has the time.
I went to fix this and found that that is a fossil left from a site reorg last year. I assume Keith got it from Google. Those device support listing files are gone now.