Changing out the editor for “something better” is something I do with pretty much any new website I have ever built - no matter what platform it was on. If there is a better editor than what comes with the system - I’d upgrade it.
WordPress is no exception and to meet the need for a more flexible “what you see is what you get” editor I am using WP Super Edit.