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:
This seems to be true for many urls with title capitalization, some other examples:
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?