Milloin noitavainojen navigaattori lisättiin?  Onko se ollut siellä jo jonkin aikaa?  Luulisi, että kaiken sen muokkauksen jälkeen, jonka tein tähän artikkeliin maalis-huhtikuussa, olisin huomannut sen, LOL P