get-one-line-summary in drscheme:language:simple-module-based-language%
The result of this method is shown in the language dialog when the user selects this language.
( -> stringsend a-drscheme:language:simple-module-based-language get-one-line-summary)
returns the corresponding initialization argument.