Put history in main documentation, update it.