Convert from percent encoding for navigation url runner filter

Since f718f0173d9823d8b67dfa695232b16a4b0c144c, the strings are escaped
on creation. When used as filters in the browser they need to be changed
back or the filtering wouldn't work.