fn make_href( jump_to_def_path_depth: Option<usize>, shortty: ItemType, url_parts: UrlPartsBuilder, fqp: &[Symbol], is_remote: bool, ) -> String