Don't really need these comments; we have formulae that call auto* tools.