We should implement automated checking of potentially stale md file links at our source repos. Original comment: https://github.com/0xMiden/miden-base/pull/1943#discussion_r2391097491