Percent-Encoding Explained: How %20 and Friends Work