Thanks for this. Didn't work for me due to the "update bug" at https://news.ycombinator.com/item?id=12547579 https://news.ycombinator.com/item?id=12547579 , but

Thanks for this. Didn't work for me due to the "update bug" at https://news.ycombinator.com/item?id=12547579 https://news.ycombinator.com/item?id=12547579 , but the fix there worked.