On a construction of A. Lucchini
  We show that the group constructed in the 2004 paper 'A 2-generated just-infinite profinite group which is not positively finitely generated' by A. Lucchini is in fact hereditarily just infinite and contains every countably based profinite group as a closed subgroup. Lucchini's paper predates some related work of J. Wilson. 
Colin D. Reid
math.GR