Summary

We should work around https://github.com/spring-io/spring-doc-resources/issues/32