This file was merged into the wrong path in cb09f8f0; I already restored the file to its right location in 8a892b51 but it still hung around here.