The new resolver is a significant change in behavior so it's
useful to know when people report problems.