The Free On-line Dictionary of Computing (19 January 2023):

EFNet

    (From "Eris-free Net", eris being
   eris.berkeley.edu).

   The dominant Internet Relay Chat network.

   See also Undernet.

   (1995-11-09)