ok, I've marked it for deprecation early next year. In general it's best to file PRs for things like this, so it doesn't just get overlooked in all the mailing list traffic. Thanks. mcl