make leder-mode-dump-configuration interactive