Patch title: Release 94 bulk changes
Abstract:
File: /pliant/graphic/browser/naive/tcp.pli
Key:
    Removed line
    Added line
   
public
  constant browser_default_tcp_port 8036