Update Galileo Almanac's downloading page URL

docs/CHANGELOG.md

@@ -103,7 +103,7 @@ https://gnss-sdr.org/design-forces/
 
 - Added a script at `src/utils/scripts/download-galileo-almanac.sh` that
   downloads an XML file with the latest Galileo almanac published by the
-  European GNSS Service Centre at https://www.gsc-europa.eu/product-almanacs
+  European GNSS Service Centre at https://www.gsc-europa.eu/gsc-products/almanac
 
 See the definitions of concepts and metrics at
 https://gnss-sdr.org/design-forces/
@@ -1004,7 +1004,8 @@ features and bug fixes:
 - Improvements in the RTCM server stability.
 - Improvements in the correctness of generated RINEX files.
 - The receiver can read and make use of Galileo almanac XML files published by
-  the European GNSS Service Centre at https://www.gsc-europa.eu/product-almanacs
+  the European GNSS Service Centre at
+  https://www.gsc-europa.eu/gsc-products/almanac
 - Own-defined XML schemas for navigation data published at
   https://github.com/gnss-sdr/gnss-sdr/tree/next/docs/xml-schemas
 - Added program `rinex2assist` to convert RINEX navigation files into XML files

src/core/libs/gnss_sdr_supl_client.cc

@@ -839,7 +839,7 @@ bool Gnss_Sdr_Supl_Client::load_gal_almanac_xml(const std::string& file_name)
         }
     catch (std::exception& e)
         {
-            // Maybe the file is from https://www.gsc-europa.eu/product-almanacs ?
+            // Maybe the file is from https://www.gsc-europa.eu/gsc-products/almanac ?
             return this->read_gal_almanac_from_gsa(file_name);
         }
     LOG(INFO) << "Loaded Galileo almanac map data with " << this->gal_almanac_map.size() << " satellites";

src/utils/scripts/download-galileo-almanac.sh

@@ -16,7 +16,7 @@ help()
 {
     echo "This script tries to download the most recent Galileo Almanac XML file"
     echo "published by the European GNSS Service Centre."
-    echo "More info at https://www.gsc-europa.eu/product-almanacs"
+    echo "More info at https://www.gsc-europa.eu/gsc-products/almanac"
     echo "If today there is no published file, the script will look up to one week ago."
     echo ""
     echo "Usage:"