Just FYI for next time, there is a two hour edit window on HN comments, and no one minds if you update a comment with added thoughts. Either way, thank you for

Just FYI for next time, there is a two hour edit window on HN comments, and no one minds if you update a comment with added thoughts. Either way, thank you for the interesting comment(s)! (At the risk of going too far afield, some feel that you should add an "EDIT:" note for any changes to a comment, but my personal feeling is that it's cool to simply edit without calling extra attention to the edit, especially when the edit doesn't significantly change the meaning.)