static String stripPrefix(String prefixed) {
        for (int i = 0; i < prefixed.length(); i++) {
            if (Character.isJavaIdentifierPart(prefixed.charAt(i))) {
                return prefixed.substring(i);
            }
        }
        return prefixed;
    }
Sorts {@code OptionSpec} instances by their name in case-insensitive
alphabetic order. If an option has multiple names, the shortest name is used
for the sorting. Help options follow non-help options.
docs/genadoc.java