I have installed gnome-terminal via Mac Ports following this post: https://apple.stackexchange.com/questions/336767/is-there-anyway-to-use-gnome-terminal-on-macos However, I can't seem to find information on how to run the the terminal? Any ideas.