Many thanks for the pointers! You're my favorite comment for the day (https://news.ycombinator.com/favorites?id=akkartik&comments=t https://news.ycombinator.com

Many thanks for the pointers! You're my favorite comment for the day (https://news.ycombinator.com/favorites?id=akkartik&comments=t https://news.ycombinator.com/favorites?id=akkartik&comments=...)