  On arithmetic surfaces over local rings of integers we examine whether any
geometric point has a basis of \'etale neighborhoods whose
$\mathfrak{c}$-completed \'etale homotopy types are of type $K(\pi,1)$ for a
given full class~$\mathfrak{c}$ of finite groups.
