Allow filtering the list of characters to be replaced by wptexturize

[cyclic]

I'd like to selectively disable the replacement of a subset of the characters replaced by wptexturize.

There are already filters to control which html tags & shortcodes are exempt from being texturized: no_texturize_shortcodes & no_texturize_tags.

I think a similar filter should exist to control which characters are texturized. This filter would take at least two parameters: $dynamic_characters & $dynamic_replacements.

I am interested in writing a patch if you'll consider it. Would this enhancement be acceptable?