Question about WP media-elements and Enfold

Hi,

In an effort to squeeze the last few ms loading time improvement out of my website, I have a question about the standard WP mediaplayer scripts and css. I was experimenting with deregistering the script and css for that WP included mediaplayer stuff (/wp-includes/js/mediaelement/) like this in my child theme functions.php:

function deregister_media_elements(){
   wp_deregister_script('wp-mediaelement');
   wp_deregister_style('wp-mediaelement');
}
add_action('wp_enqueue_scripts','deregister_media_elements');

As far as I can tell from my experiments, this change does not affect any video capability within Enfold, not even including videos in a post the standard WP way… :-)

Am I right in this and can I do this without harm when using Enfold, or am I missing something?

Thanks in advance for clarifying,
Rob