[pdpi]

Thanks for the quotes. Apparently I slightly misremembered the problem. From the second one, this is what I was thinking about: https://news.ycombinator.com/item?id=13926839