Why I invented “dash encoding”, a new encoding scheme for URL paths