Jungle Boogie wrote on Sat, Sep 15, 2018 at 04:03:00PM -0700:
> I don't know if this is the intended behavior of man.cgi/man.openbsd.org
> Visit this url:
> https://man.openbsd.org/ >
> type in something like /home and search.
> Notice your URL changes to:
Wow, that's a useful bug report.
No, that is not expected; rather, validation and encoding were missing.
I fixed it with the following commit.
The fix is already installed on man.openbsd.org, so you can test
whether it still misbehaves.
Add missing URI encoding when writing HTTP redirects,
fixing a bug reported by <jungleboogie0 at gmail dot com> on bugs@.
While here, fully validate the arch name
such that we do not have to URI encode that one.