Refinement of docs for #4257. Long live the configurator.