server-based repository:</P>

        <OL>
          <LI>Select <B><FONT size="4">Project<IMG src="help/shared/arrow.gif" border="0">
          View Repository...</FONT></B></LI>

          <LI>A repository chooser is displayed; allowing you to specify a Ghidra Server
          network address and select one of its repositories...</LI>

          <LI>Enter the Ghidra Server address and port.  The default port is 13100.</LI>
         
          <LI>Click the Refresh button to the right of the host name and p