Hmm... actually, I don't know.  Maybe it is OK to have this file in here then.  I don't think I've seen it in any other modules but your point makes sense.