The strong profinite genus of a finitely presented group can be infinite

We construct the first example of a finitely-presented, residually-finite group that contains an infinite sequence of non-isomorphic finitely-presented subgroups such that each of the inclusion maps induces an isomorphism of profinite completions.
Comment: 10 pages, no figures. Final version to appear in Journal of the European Math. Soc