Thanks for the detailed write up, I learnt something new today. I sometimes feel I should stop wasting so much time on the internet, but sometimes I realize th

Thanks for the detailed write up, I learnt something new today. I sometimes feel I should stop wasting so much time on the internet, but sometimes I realize that it means missing out on such comments that distill a lot of/important information.