What is $\overline{\text{Spec}\mathbb{Z}}$?