(Note that we recently pushed a change that allows you to delete your own comments if they have no children, so if you’d like you can delete your earlier comment.)
(Note that we recently pushed a change that allows you to delete your own comments if they have no children, so if you’d like you can delete your earlier comment.)