Thanks, guys. Hm. I always wonder whether I should thank people in situations like this. On the one hand, I am really appreciative, and want them to know. On the other hand, I also feel like I'm not really contributing anything when I do it, just wasting people's time reading it.