#lang racket
(require "info-helper.rkt")

(printf (format "The ~a tool is now installed. Restart DrRacket to see the new button." tool-name))