[racket] red underline of language name

From: Shriram Krishnamurthi (sk at cs.brown.edu)
Date: Sun Sep 25 11:30:43 EDT 2011

In #lang scribble/manual, if I type

#lang racket

the output (in HTML) has the word "racket" underlined, which seems
fair enough; ditto for

#lang typed/racket

But if I type

#lang planet foo/bar

only the word "planet" is underlined, which seems odd ("planet" is not
the name of the language; the analog of "racket" should be either
"planet foo/bar" or "foo/bar" but not "planet").


Posted on the users mailing list.