Yes, I suppose this is true. Note that I originally wrote bookmarklet.py using urllib.quote (of course ;) I wrote it!) But then I noticed that I was escaping a lot of characters you weren't, such as quotes and things. Your version only escaped spaces, so I changed it to simply replace space with %20. I think I looked at some other bookmarklets and they also only escaped space.
But I would be more than happy to use urllib.quote, and I doubt it would cause any problems.
Don't worry. I read all the bugs anyway.
Yes, I suppose this is true. Note that I originally wrote bookmarklet.py using urllib.quote (of course ;) I wrote it!) But then I noticed that I was escaping a lot of characters you weren't, such as quotes and things. Your version only escaped spaces, so I changed it to simply replace space with %20. I think I looked at some other bookmarklets and they also only escaped space.
But I would be more than happy to use urllib.quote, and I doubt it would cause any problems.