@paulfurley has just pointed out that this function is now dead and should be removed.