re: #742 LudwigVanQuixote

Just out of curiosity, does tool, in this context, mean putz?

Generally, yes.