Oh, erm, I may've misspoken above: what's the difference between `extern_mod_str`, `crate_str`, `external_crate_str`?