In reply to Felix.

No, the plugin author simply needs to use add_shortcode instead of filtering the_content themselves, or use the no_texturize_shortcodes filter to remove their custom shortcodes from the texturize process. Either method works. The content isn't altered in the database, it's just being parsed differently. Users should not need to change anything.