If $F$ is a free discrete group, then any subgroup $H$ of $F$ is free: this is the well-known theorem of Nielsen-Schreier. Moreover, there is a well-known algorithm, the Nielsen-Schreier method that allows us to determine a set of free generators of $H$ (see e.g. this reference).
Now if $F$ is free pro-$p$-group, then any closed subgroup $H$ of $F$ is pro-$p$-free (cf Ribes and Zaleskii, Profinite groups, Cor. 7.7.5). But is there a method to describe a space on which $H$ is free?
I am interested in the question even in the perhaps much simpler case where $F$ is the pro-p-completion of a free discrete group $F_0$ (with finitely many generators), and $H$ is the closure in $F$ of a subgroup $H_0$ of $F_0$ (of which I happen to know a set of free generators --infinitely many-- explicitly by the Nielsen-Schreier methods). Then by right-exacness of the $p$-completion functor, $H$ is a quotient of the completion of $H_0$, but I can't see by what (if anything).
This question is a follow-up of this one.