// TODO: The markup here is not really appropriate, and printKeywordList()
// still prints raw text, but these are waiting for discussion of the
// markup format in #969.
- writeBasicHelpTopic(context, *this, helpText());
+ context.writeTextBlock(helpText());
context.writeTextBlock("");
// Print the list of keywords