This post uses a fancy data structure to construct a to_remove set, then iterates through it to remove these from the underlying header map. It appears the "re

This post uses a fancy data structure to construct a to_remove set, then iterates through it to remove these from the underlying header map. It appears the "remove_header" call is this one: https://docs.rs/pingora-http/0.3.0/src/pingora_http/lib.rs.html#576 https://docs.rs/pingora-http/0.3.0/src/pingora_http/lib.rs.h... which calls .remove() on two other data structures, both of which bottom out in this mountain of code: https://docs.rs/http/latest/src/http/header/map.rs.html#1550 https://docs.rs/http/latest/src/http/header/map.rs.html#1550