This code has now been removed so the issue is moot.