Or `decodeURIComponent`, but this works for our purposes.