I don't see any similar file in Iain's pull requests. I this isn't intended to be merged, why not just close it then.