* comment: HTML tags to prune (remove) during document processing.
     * @return The value of found property. (NotNull: if not found, exception but basically no way)
     */
    String getCrawlerDocumentHtmlPrunedTags();

    /**
     * Get the value for the key 'crawler.document.html.max.digest.length'. <br>
     * The value is, e.g. 120 <br>
     * comment: Maximum length of digest extracted from HTML documents.