net.httpserver: Decode percent-encoded characters in URL path.