These properties do not exist in the current version.
RadEditor works with HTML strings, not entire files, so FileEncoding does not make sense in its context.
As for converting to lowercase - such a feature would be ambiguous and can break user content, so it does not exist. If you need that, you can implement a custom content filter or use string manipulations on the server (e.g., regex).
Do you want to have your say when we set our development plans?
Do you want to know when a feature you care about is added or when a bug fixed?
Telerik Feedback Portal
and vote to affect the priority of the items