/* Service menu item titles */ "New Terminal at Folder" = "Nieuw Terminal-venster bij map"; /* (No Comment) */ "New Terminal Tab at Folder" = "Nieuw Terminal-tabblad bij map"; /* (No Comment) */ "Open man Page in Terminal" = "Open man-pagina in Terminal"; /* (No Comment) */ "Search man Page Index in Terminal" = "Zoek in man-pagina-index in Terminal";