Let $X$ be a (reasonable) scheme. I'm curious about constructing the constructing the covering space of a scheme algebraically. The covering space functor $F$ (below) can be represented by a projective family of schemes, and I want to know if there are situations where it can be represented by an algebraic spaces.

Specifically, for a geometric point $z \rightarrow X$, the functor $F$ (on FEt/X) given by $Y \mapsto \textrm{Hom}_X(z, Y) = F(Y)$ is, what Milne calls "strictly pro-representable". That is, there is

(1.) a projective system (= inverse limit system) of schemes in FEt/X $X_i$ and epimorphisms $\phi_{ij}: X_j \rightarrow X_i$

(2.) Elements $f_i \in F(X_i)$ such that $f_i = \phi_{ji} f_j$

(3.) The natural map $\lim_{\rightarrow} \textrm{Hom}(X_i, Z) \rightarrow F(Z)$ induced by the $f_i$ is an isomorphism of sets.

$\textbf{Question: }$ Are there general situations where $F$ is representable by an algebraic space which is not a priori a scheme?

Side note: I suspect that the functor $F$ is not ever representable by a scheme locally of finite type over $X$ (but not finite over $X$), but I don't have a proof. Is this true?