HTMLForm: in URL encoding, percent-encode more characters