I added more on connectedness of filters to the file addons.pdf (to be integrated into the book later).
It is a rough incomplete draft. Particularly the proof, that the join of two connected filters with proper meet is connected, is not complete. (Remember that I order filters reversely to set-theoretic inclusion.)
This is now an important open problem to solve.