On 8/15/18 12:27 PM, 0xEAB wrote: > On Wednesday, 15 August 2018 at 15:13:50 UTC, Kagamin wrote: >> It's a bug: > > Is it a known one? Nope. And I figured out the problem. Will submit a fix. -Steve