I have a question related to the definition of the etale site of an adic space. As a reference, I am using Huber's book "Etale Cohomology of Rigid Analytic Varieties and Adic Spaces".

First of all, to define the etale site of an adic space, we only consider adic spaces that are locally of the form $Spa(A,A^+)$ where $A$ has one of the following properties

i) $\hat{A}$ is discrete

ii) $A$ is strongly Noetherian Tate

iii) $\hat{A}$ is has a Noetherian ring of definition over which it is finitely generated.

Then the etale site of $X$ is defined in the same way as with schemes (namely by considering surjective families of etale morphisms). Why do we restrict ourselves only to adic spaces of the above form? Could we not, for example, consider stable adic spaces instead? Let me explain that. I give the definitions, as I haven't seen those being widely used. Those are taken from Wedhorn's notes, found here https://arxiv.org/pdf/1910.05934.pdf.

**Definition 1** A Huber ring $A$ is called stably sheafy if every $\hat{A}$-algebra topologically of finite type is sheafy, i.e given such an algebra $B$ and any subring of integral elements $B^+$, $(B,B^+)$ is sheafy.

**Definition 2** A stable adic space $X$ is an adic space that is covered by affinoid adic spaces $Spa(A,A^+)$ where $A$ is stably sheafy.

Now consider only adic spaces that are stable. This includes the adic spaces that Huber considers in his book. Then the category of adic spaces that are etale over $X$ (a stable adic space) is well defined. Moreover if we define $X_{et}$ in the same way as above, everything seems to work well (for example fiber products exist under the same assumptions as in Huber's book). So what is it (if there is something) that restricts us to work only in the case Huber treats in his book? Perhaps there are properties that we want the etale site to have and fail in this more general setting. Let me suggest one, that I cannot see if it is true or not.

**Question 1** Let $f:X\rightarrow Y$ be an etale morphism of affinoid stable adic spaces. Is $\mathcal{O}_Y(Y)\rightarrow\mathcal{O}_X(X)$ flat?

If this is true, I expect the proof to be hard. The analogous statement ,in the usual setting, is lemma 1.7.6 in Huber's book. In any case, regardless whether we can work in this more general setting or not, I would like to see an answer related to question 1.

I haven't thought much of the latter and I haven't checked every detail to make sure everything works fine (but I hope it does). Any answer is very much appreciated.