Things we need to do for the tool paper.