[sr-dev] git:5.2:f24fb5cd: core: skip get_record for DNS extensions e.g. for EDNS0 (GH #2087)