As I mentioned in the other PR, this file can be dropped.