  We show that if a subgroup of the automorphism group of the Fraisse limit of
finite Heyting algebras has a countable index, then it lies between the
pointwise and setwise stabilizer of some finite set.
