This filter is documented in wp-admin/post.php

$replace_editor = apply_filters( 'replace_editor', false, $post );