HOWTO01 Using IGTF CA distribution: EGI-trustanchors vs egi-trustanchors

The documentation page:

- https://docs.egi.eu/providers/operations-manuals/howto01_using_igtf_ca_distribution/#using-yum-package-management

contains a section entitled "Using YUM package management" which offers the following "repo-file" link:

- https://repository.egi.eu/sw/production/cas/1/current/repo-files/EGI-trustanchors.repo

which however leads to 404 Page not found.

If one uses the lower case `egi-trustanchors.repo` variant instead:

- https://repository.egi.eu/sw/production/cas/1/current/repo-files/egi-trustanchors.repo

then everything works.

My question is:

1. Is this a regression in the `repository.egi.eu` server functionality and the web server is supposed to well respond to uppercase `EGI-trustanchors.repo` URL as well, as it has been in the past?

2. Or is this a bug in the documentation and the `repository.egi.eu` switched to using only lower case `egi-trustanchors.repo` file name variant?

I can easily amend our scripts if it is the latter; just wanted to ping you in case this was an undesired change in the `repository.egi.eu` server behaviour.