It has been fixed meanwhile… because I think discourse is “rebaking” raw input to HTML in the background or something like that. Maybe a simple page reload would have shown you the fixed version.
I’ll check if some additional pre-processing in the original BBcode can help, like what I did for the quotes.