Variable: Info-history-list

List of all Info nodes user has visited.
Each element of the list is a list (FILENAME NODENAME).