Splitting of coherent idempotents

An answer to a question of Martin Escardo.
Sounds like we (you?) should make an issue about this?