`module_state_key` is a serialized `Location` (`Location.url()`). `state_keys_to_problem_info[$some_msk][0]` is the `Location.name` value.