improved documentation of superman-set-config, fine tuning of export headline