"Warning: I cannot find Require Wrapped_module_name.unwrapped_module_name" should never occur

[JasonGross]

Presumably this is an oversight at https://github.com/JasonGross/coq-tools/blob/0a09b2b37a32a857bac38167f61017e1b1b7a437/coq_tools/find_bug.py#L3695-L3700 where absolutize_mods=True results in the new wrapped module name being used (which is correct for Import bug not for Require)