Well of course. I originally linked to this code: https://news.ycombinator.com/item?id=18873581#18878500 https://news.ycombinator.com/item?id=18873581#18878500

Well of course. I originally linked to this code: https://news.ycombinator.com/item?id=18873581#18878500 https://news.ycombinator.com/item?id=18873581#18878500 But the edit window had passed by the time I changed it.