Redundant do_shortcode filter?

First of all, many thanks for this plugin!!

I noticed that this plugin was adding a redundant <p> at the beginning of my content when using the Divi theme (this is most likely due to bad coding in the Divi theme, but please read on).

I traced the cause to line 242 of WP-Simple-Adsense-Insertion.php:
add_filter(‘the_content’, ‘do_shortcode’);

I commented it out and the rogue <p> tag when away and the plugin still worked fine. I believe this line is not needed.

I believe the content already has the do_shortcode filter applied by default. (see /wp-includes/default-filters.php in the WP core, line 454).

While this line probably causes no problems in most cases, I believe it is redundant and it would be great if it could be removed to eliminate this conflict with the Divi theme.

Thanks for your consideration and time,
Brian