Covered text handling: rename option name to --correct-text-visibility.