There were several errors in the section “Open maps” of my online book.
I have rewritten this section and also moved the section below in the book text.
However, the new proof of the theorem stating that composition of open maps between funcoids is an open map now uses a proof referring to a particular point $latex x$.
It is currently an open problem to rewrite this proof in pointfree style.