Add HISTORY to documentation index