Improve documentation of --keep-redundant.