It is in this file because it is not very extensive, and probably not used in other place.
Anyway I'll change it