Sourceforge: Recovering Wikispaces Dump after Migration to Mediawiki

Are you confused with what they at sourceforge say about the process to recover wikispaces dump? https://sourceforge.net/apps/wordpress/sourceforge/2009/07/29/wikispaces-being-removed-from-sourceforge-net-2009-07-30/

Don't be. It is easy. I did this (as described at https://sourceforge.net/apps/trac/sourceforge/wiki/SFTP):

:~$ sftp {user name},{project name}@frs.sourceforge.net
Connecting to frs.sourceforge.net...
The authenticity of host 'frs.sourceforge.net (216.34.181.57)' can't be established.
Are you sure you want to continue connecting (yes/no)? yes
Warning: Permanently added 'frs.sourceforge.net,216.34.181.57' (RSA) to the list of known hosts.
{user name},{project name}@frs.sourceforge.net's password:
sftp> help
sftp> cd /home/groups/c/cr/crackpot
sftp> ls
cgi-bin htdocs persistent wikispaces-dump.zip
sftp> get wikispaces-dump.zip
Fetching /home/groups/c/cr/crackpot/wikispaces-dump.zip to wikispaces-dump.zip
/home/groups/c/cr/crackpot/wikispaces-dump.zip 100% 648KB 49.8KB/s 00:13
sftp> quit