[API,DOX] Giving ProfileChar a larger public interface.

See #647