On 5/3/20, Kevin Barry <barr...@gmail.com> wrote: > I was able to find the broken link in our unstable documentation > version. It looks like it's a bug arising from a switch to https (this > link was probably changed unintentionally).
Indeed. Thanks Stefan, I’ve just pushed a fix and it should appear on the next website update! Cheers, V.