Tue Nov 3 2020: Things we know even before election results, and cloud infrastructure trends