Consistently use shell.sourceforge.net instead of shell.sf.net so one doesn't need...