[paste0x78]

Just so you know there is an extra .com on the github link making it github.com.com which has so pretty nasty redirects.

[mbrevoort]

Wow . We're fixing that right away. Thanks!

[selfcontained]

Thanks for the heads up, all fixed now.