Why is this file deleted? Does it deprecate #10823?