javadoc uses support for determining suggestions for mistyped tags, using support to compute the Damerau–Levenshtein distance between strings.

We could extend the use to improve the support for reporting bad options, generating a short message of possible choices, instead of the full (long) usage message.