Turns out I hadn't fixed the sorted-isort proof. Have reverted some files.