#lang racket

(printf "The Extended Code Coverage tool is now installed. Restart DrRacket to see the new button.")