The download package is renamed as "eigen-3147391dxxxxxxxx.zip", not eigen-3.4.0.zip

Hi,

When I open this page https://gitlab.com/libeigen/eigen/-/releases to download a zip or tar.gz file for 3.4.0, the hyperlink shows it is "https://gitlab.com/libeigen/eigen/-/archive/3.4.0/eigen-3.4.0.zip", but if I click the hyperlink, it downloaded the file as eigen-3147391dxxxxxx.zip, which shows the version as a commitID, not 3.4.0. This caused our build failed. Could you help to check why it happened like this? It seems the file was renamed/redirected to the one with commitID, not the version. It was working before March 25. Now the behavior is a bit confusing.