What used to be here is now in ChangeLog
