Translated little things in gnextnav.py