See JDK-8176089. Improve the documentation of DocumentationTool to explain the limitations of isSupportedOption -- that it does not check for Doclet options.