seems that https://www.wintun.net/ down?

[Clint Dovholuk]

Is this expected? We grab the distributions of wintun to use in our builds
but are having trouble getting them now. Should we be caching these on our
own servers to avoid the bandwidth costs to wintun?

Thanks
-Clint