Replace `docs.microsoft.com` with `learn.microsoft.com`

[KOLANICH]

Microsoft now redirects docs.microsoft.com there and can eventually retire the old domain somewhen.

[generalmimon]

Microsoft URLs change perhaps the most often of all :|

They often don't even bother to maintain a proper redirect (or they "redirect" to a completely generic page, which is useless).