> Ping on this patch? (Would it be appropriate to find the last person > to touch this documentation and cc him/her, or do something else like > that?) No, Eli is the person to review this patch, not the last person to touch it. Maybe he is away at the moment. -- Joel