Adding informations about history and how to enable highlighting