Quasi-compact and quasi-separated formal algebraic spaces

It tunrs out these are always colimits; it seems that this was missed in
the literature on formal schemes