4 ms·

I don't think he should delete his comment. It's helpful to see it explained in more detail from other contributors.

• dllthomas 14y ago
  Delete, no. Editing would be fine, below an "ETA:"
• sp332 14y ago
  I just meant he could have edited his first comment instead of replying to himself.