I followed the following instructions, but I don’t see anything of that name in the GitHub releases. How do I download it?
For Windows you can download the mavsdk-windows-x64-release.zip file from MAVSDK releases containing the headers and library and extract it locally (see information how to use a locally installed library).