Are there any other characters that behave poorly? In general what is the strategy here? Should someone type in `<` or `&lt;`? If they type in `&lt;`, will it reload as `<`? Etc.