In Johnstone's Stone Spaces it is proved that the category of profinite partial orders is (equivalent to) the category of ordered Stone spaces (also called Priestley spaces) and that the obvious embedding from finite partial orders into Priestley spaces is the pro-completion of finite partial orders. 

**Main question**: Does it follow that there exists a profinite completion functor from partial orders to Priestley spaces?

If yes, is there an explicit construction of the profinite completion of a partial order?

For example, does anyone know what does the profinite completion of the partial order $(\omega,=)$ look like?

Moreover, profinite quasi-orders are the the Priestley quasi-orders, i.e. quasi-ordered Stone spaces such that if $x\not\leq y$ then there is a clopen downset $D$ such that $y\in D$ and $x\not\in D$.
I have the same questions about the profinite completion of a quasi-order. 
In this context, does one gain anything by considering quasi-order instead of partial orders? 

For the record I asked this question on MathSE, [here](http://math.stackexchange.com/questions/844656/profinite-completion-of-a-partial-order).