spring.graphql options and it's default values need to be looked up in class `org.springframework.boot.autoconfigure.graphql.GraphQlProperties.` It would be great to have the meaning and default values documented in the reference documentation.