@JsonProperty("html")
    public Collection<String> getHTMLPaths() {
        return htmlPaths;
    }
Returns the paths to all HTML patch resources within the extension. These
paths are defined within the manifest by the "html" property as an array
of strings, where each string is a path relative to the root of the
extension .jar.

@return
    A collection of paths to all HTML patch resources within the
    extension.
guacamole/src/main/java/org/apache/guacamole/extension/ExtensionManifest.java