Using the shy soft hyphen in HTML