Do not document the CHORD_PROPAGATES setting anymore