Protocols.HTTP.http_encode_string

Correction: Standards.URI.http_encode does not encode any 8-bit chars,
the unused Standards.URI.quote does.

Hm, don't you mean the other way around?

Pike v7.7 release 87 running Hilfe v3.5 (Incremental Pike Frontend)
> Standards.URI("http://www.roxen.com/")->quote("räksmörgås");
(1) Result: "r\344ksm\366rg\345s"
> Standards.URI("http://www.roxen.com/")->http_encode("räksmörgås");
(2) Result: "r%e4ksm%f6rg%e5s"
>

No, but I missed the "enumerate(0x81,1,0x7f)" in the http_encode
implementation. The quote functions encodes some 8-bit chars too:

  > Standards.URI("http://x/")->quote("\200");
  (1) Result: "%80"

Right.  Only non-printables though.  This feels like a can of worms
that someone ought to take outside and empty...  :-)