> How does an experienced user (he has 14k edits!) make an edit like that?

That's exactly how he made it to 14k.