doc/muxers: document which applications are known to need disable_chpl.