Clarified ./configure's --config option.