Am I dreaming? (Windows 10 version as 1909, Build 18363.657) After I renamed a file, I checked a shortcut in a different folder, and I was surprised to see that the shortcut's target filename had already been updated. To further verify the shortcut, I clicked it and the appropriate file opened.
I had never before noticed such update of shortcut in Windows, so I assume that this remarkable feature is a result of a Win 10 update.