Well, setting the priority of the acronyms.php
“add_filter” function to 12 (thus bypassing the default 10 for Markdown) seems to help.
I am not fully convinced if this is the intended way to solve these kind of problems, but as a workaround, it helps.
Johann