We have to URI-encode filenames including '%' signs, also.

Otherwise, a file named "with%3Acolon.txt would collide with the
transformation of "with:colon.txt".

There's a real chance that people have favorites that include "%" in
their name, so I will need to follow up to this with a favorites
migration.
Tests for new filename escaping stuff.