I just noticed that @jimfulton of all people is de-doctestifying this. Mind blown.