Thanks toyg! Re: GitHub, I answered another comment on this note here: https://news.ycombinator.com/item?id=36736826