I've removed this; along with other dead code. Do you know how to "update a PR"?