Wykop Extra door Krzysztof Księżyk

Dodatek implementuje następujące funkcje usprawniające przeglądanie Wykopu:
- dodany jest element nawigacyjny nad listą wykopów
- informacje o pierwszym napotkaniu wykopu, jego otwarciu są zapamiętywane i są wyświetlane po najechaniu na ikonkę "i"
- wykopy na liście mogą być minimalizowane
- po kliknięciu w wykop jest on automatycznie minimalizowany a odwiedziny są oznaczane ikonką
- zminimalizowane wykopy można z powrotem pokazać
- można oznaczyć wykop jako ulubiony (ma on wtedy na liście inny kolor)
- wykopy otwierane są w nowych zakładkach (po przytrzymaniu ctrl przeglądarka nie przeskakuje do nowo otwartej zakładki)
- aktualne ustawienia są zapamiętywane