Hi It seems to have been some issues with Updates infrastructure dueing the night. Not sure what yet. /P On Tue, Oct 19, 2021 at 07:14:39PM -0700, Robert Armstrong wrote: > . I can't seem to reach it. It's not a big problem, but I wondered if it > was my issue or somebody else's. > > > > Bob > > >