Tools: more bitrot.