[kovidgoyal]

Since the history list is sorted by most-recently-used entries, those that you would want to delete should naturally just drop of the list with time. So I dont really see the point of deleting entries.