get_request_destination_elsewhere(): Prevent unlikely dereference of a NULL-pointer