Conjecturally, every finite group is the Galois group of some extension of the rationals. This question made me wonder what is known about infinite simple groups occurring as Galois groups.
What are the infinite simple groups that are expected to be Galois groups, i.e., profinite? Are they classified? Are there any examples of such extensions?