Thanks for the note; usually I'm pretty good at identifying internet sarcasm, but in this case posting a comment at 4:30 am when I haven't slept appears not to

Thanks for the note; usually I'm pretty good at identifying internet sarcasm, but in this case posting a comment at 4:30 am when I haven't slept appears not to be a great time for identifying such nuances.