Don't build the manual from source on Heroku.
Upgrade spring loaded version.