Finally fixed (I think?) that nagging Url encoding issue: spaces are now always encoded as %20, but we accept + when decoding.