GitHub trick to find the commit that deleted a file

This seems to be a direct link to the actual post: https://devblogs.microsoft.com/oldnewthing/20240909-00/?p=11...

(But you can never be sure with links to a MS website shrug)