Looks as though it was always supposed to be there
Congrats, Martin, and I do hope for better weather and successful installation of power, data, dome, and final installation of gear.
Looks like space for at least my two man tent to camp beside the deck there, too... is the dome wide enough for a couple of OTAs and mounts?