Anyone out there have a recommendation for an iOS text editor that does character counting? Asking for a bitter, disgruntled friend.