I link the correct case here, in an earlier comment: https://news.ycombinator.com/item?id=48636421 .

And you were evidently able to find the correct case regardless.