We will work with paracompact (i.e. Hausdorff and every open cover has a locally finite refinement) strictly $K$-analytic spaces. As discussed in [GM19, 2.2] the category of these spaces is equivalent to the category of quasiseparated rigid analytic varieties over $K$ with a strictly $K$-affinoid G-covering of finite type ([Ber93, 1.6]). This allows us to apply Raynaud’s theorem ([Bos14, Theorem 8.4.3]) which shows that formal $K^{\circ}$-models of paracompact strictly $K$-analytic spaces exist and that the set of isomorphism classes of formal $K^{\circ}$-models is directed.