Fairly sure the "etc" came after my comment, in an edit.

No, it didn't. I've only just come back to review it after I posted it and there wasn't a reply.