The JSP specification allows me to serve .html files as JSP (that is, have the container process them as JSP files) using a <jsp-config> section in web.xml, e.g.:
<web-app …>
  <jsp-config>
    <jsp-property-group>
      <url-pattern>*.html</url-pattern>
    </jsp-property-group>
  </jsp-config>
</web-app>
But when I switch to running a @SpringBootApplication with embedded Tomcat, it completely bypasses the web.xml file. Is there an equivalent setting in Spring Boot MVC to set the JSP configuration of a JSP property group, as per standard web.xml, that will configure the existing embedded Tomcat JSP servlet?
(Another example of a JSP setting I might want to configure is <trim-directive-whitespaces>.)
Possible duplicates
I am aware of the extensive answer by walkeros, but that answer only considers adding a new JSP servlet. It does not address adding a new JSP property group to the existing JSP servlet, and indeed doesn't mention the <jsp-config> section in web.xml at all.