I shall. Do you have a link to your PR? I utterly detest github, so I am, lazily, and on principle, not going to go poking at guthub to find it. But I will surely relink it.