Fix hyperlink to Spring main page (rebased onto develop)



This is the same as gh-712 but rebased onto develop.

----