See https://code.visualstudio.com/blogs/2022/09/15/dev-container-features So we don't have to arch pick the correct download link.