In any event, I don't have a strong objection to this and this PR has my :+1: either way.