Good point. I'll add that to this PR itself.