Added back ${sourceforge-user-web-url}.