Comment by DrammBA

You seem to have answered the question "How common is a 13k line PR?" but that's not what the parent comment asked.