🚀 go-pugleaf

Backup ports are documented as follows:

``... if a primary port has a backup port, and the primary would have
been destroyed by the deallocation of its receive rights, then instead
the receive right for the primary port is sent in a notify message to
the backup port.''

Question:  if a task crashes, will receive rights be transferred?
In other words, how helpful will this be in enhancing robustness?


-Joe.