test.html: add a test for ph_case_sensitive option.