Ah, this fixes the problem I mentioned in https://news.ycombinator.com/item?id=44501362 https://news.ycombinator.com/item?id=44501362 and was also reported in a

Ah, this fixes the problem I mentioned in https://news.ycombinator.com/item?id=44501362 https://news.ycombinator.com/item?id=44501362 and was also reported in an earlier reply by someone else there: https://news.ycombinator.com/item?id=44508433 https://news.ycombinator.com/item?id=44508433 Thanks!