isabelle.hs6 doesn’t follow anyone yet