231 bytes added
, 17:38, 2 December 2020
The name was updated from "ToolInfo" to "Infobox Tool" to better fit with mediawiki standards, but I haven't gone around and changed all the pages that use it to invoke it using "{{Infobox Tool..." rather than "{{ToolInfo..." yet.