Fix #3: redirection for Spring Data javadoc pages