remove remaining mentions to setup.exe

Scripts/developer_scripts/create_new_release

@@ -326,22 +326,3 @@ if [ -n "$DO_PUBLIC" ]; then
     rm -f "$HTML_DIR/CGAL-last-public"
     ln -s "${release_name}-public" "$HTML_DIR/CGAL-last-public"
 fi
-
-if [ -n "$DO_PUBLIC" ]; then
-  if docker version > /dev/null; then
-    # Re-extract the full version of CGAL, with examples/, and doc_html/
-    rm -rf ./${public_release_name}
-    tar -xf "${HTML_DIR}/${release_name}-public/${public_release_name}.tar.xz"
-    # Build the Windows installer
-    docker pull cgal/cgal-nsis-dockerfile
-    docker create -v `realpath ${DESTINATION}/${public_release_name}`:/mnt/cgal_release:ro,z \
-                  -v ${SOURCES_DIR}:/mnt/cgal_sources:ro,z                    \
-                  cgal/cgal-nsis-dockerfile
-    container_id=`docker ps -q -l`
-    docker start -a ${container_id}
-    docker cp ${container_id}:/nsis_release/${public_release_name}-Setup.exe "${HTML_DIR}/${release_name}-public/"
-    docker rm ${container_id}
-  else
-    echo "Cannot use Docker, the Windows installer will not be created" >&2
-  fi
-fi