couldn't specify full PR ID, e.g., bin/12345, in the "PR number" field of the web form because the slash was encoded as %2F by many browsers. Of course, decoding the query is a must for a cgi in general.