Inform about name repair
Original names vector.
Repaired names vector.
Name repair messages can also be silenced with the global option
rlib_name_repair_verbosity. This option takes the values:
"verbose": Always verbose.
"quiet": Always quiet.
When set to quiet, the message is not displayed and the condition is not
signaled. This is particularly useful for silencing messages during testing
when combined with