This is the obsolete one (~60KBytes) in the root of the src tree - but as it's name is the same as the one that the user might have to find we have to note/check that they find the other one (~5KByte) as well as removing this one as I have done.