Clarify known limitations and document how to use the
`META-INF/spring-devtools.properties` file.

Fixes gh-4235
Closes gh-3316