Google Drive filenames can contain '/'

[jcline]

The "title" field returned in the XML for directory listings can contain '/'s. It seems that Google Docs do not have a "filename" field, just the "title" field. Should Google Docs just be left out of the listing? (I wonder if there is a simple way to filter them out?)

[jcline]

IRC discussion proposed replacing '/'s with %2Fs, which likely means we also need to replace '%'s, at a minimum. So, basically, do a subset of urlencode on "title"s.

[emmaly]

Would it be wholly inappropriate to use the U+2215 division slash character instead of the regular ol' forward slash?

Division slash: ∕
Forward slash: /

They look a little different (depending on font maybe?) but gets the same point across. It'd be harder for a user to just type it directly, so that might be iffy. If we had to do character replacement to win on this, I'd rather use the division slash. I'd be happy if it were configurable for those that have a preference, if it weren't too much of a pain to do.