Correct. The tested code was removed in 540dd95d31e6a2ac939033b052607c907ea97936, and our broken CI setup meant I didn't notice it.