Swagger Editor - Generating HTML documentation does not render minLength and maxLength property.

Hi, I have used Swagger Editor to write a specification of a REST API.

I have described minLength and maxLength fields for properties under one of the schemas as below :

I am able to see the corresponding properties correctly in the Instant Visualisation UI 

But when I download HTML documentation for the same, minLength and maxLength properties are not rendered.

Is there any way through which these properties can be returned in downloaded HTML format documentation?

Thanks in advance for the help!