Shared.openURL:  URL-escape pipe characters.

Even though these are legal, Network.URI doesn't regard them
as legal in URLs.  So we escape them first.

Closes #535.