el @ Pike developers forum Wed, 22 Nov 2017 12:48:59 -0800
I will look at what went wrong there.
Also, the mailing list export seems to be broken.