* use my own github mirror instead of spacehopper.org * download to ${XDG_DOWNLOAD_DIR} instead of current directory * some minor fixes OK sthen@