Doc: Replace wrong encoded pipes: %257C by %7C
Merge pull request #461 from emmanuel-keller/master

Doc: Replace wrong encoded pipes: %257C by %7C