I saw this comment several hours after submission and it was already too late to edit the title. I copy/pasted the title from the blog, so I guess it’s HN who c

I saw this comment several hours after submission and it was already too late to edit the title. I copy/pasted the title from the blog, so I guess it’s HN who capitalized that letter.