> Would you mind creating a PR please and dumping everything from this > email thread into it? I created kern/165212 last Thursday as you requested. Do you want me to add the information I think is pertinent to that PR, or stick in the actual email messages from this thread?