WordPressのプロフィール画面でビジュアルエディターのチェックボックスを隠す誰得なコード

管理者以外は、自分のプロフィールを編集する際に、ビジュアルエディターを無効にするチェックボックスを表示させなくしてしまいます。
例によって、テーマのfunctions.phpに丸ごとペーストで行けます。

function hide_richeditor_checkbox() {
	global $wp_rich_edit_exists;
	if ( ! current_user_can( 10 ) && defined( 'IS_PROFILE_PAGE' ) && IS_PROFILE_PAGE ) {
		$wp_rich_edit_exists = false;
	}
}
add_action( 'admin_head', 'hide_richeditor_checkbox' );