Possible bug report: URL capitalization in online manual

[Ori Barbut]

It seems that sometime in the past week the capitalization scheme of URLs generated for the online manual has changed. For example I see as of 2020-02-02 per the cache on Bing, the following url worked:

https://orgmode.org/manual/Structure-of-code-blocks.html

The new URL is:

https://orgmode.org/manual/Structure-of-Code-Blocks.html

This seems to be true for many urls with title capitalization, some other examples:

https://orgmode.org/manual/Column-view.html

https://orgmode.org/manual/Sparse-trees.html

Not sure if this was intentional? If so would it make sense to alias the old URLs for people who have linked to the manual over the years?