for old-time sakes:-) shouldn't deprecated libraries have DEPRECATED pragma?

The haddocks for System.Time (suggestively located in old-time) state: This library is deprecated, please look at Data.Time in the time package instead. Yet, there is no DEPRECATED pragma for the module, so I actually missed all those other hints, and the improved Data.Time functionality, for a while at least. Claus