[tor-commits] [manual/develop] add more words to menu file, to get them translated in the interface. ref: https://dip.torproject.org/torproject/web/tpo/issues/5