Almost, Nicolas, almost...
But damn close, indeed. While your line wouldn't work as is, I first tried around a bit because generally all sorts of replacement would work, of course, just '<br/><br/>' wouldn't do anything at all, no matter what.
Finally, nl2br came first to mind, then onto my (googled) screen. Some more trial and error, and here is the only combo of line breaks that works (note the extra space):
return str_replace('<br /><br/>','<br/>',$html);
Oh well, what a space more or less can do. Also note, I have no proof that it's due to nl2br, I'm just saying that after
looking this up
a lightbulb went on in my head and I started playing with spaces... and there it was. After juggling it for a good hour, here's one more snippet I won't forget so soon, lol!
Thanks for your patience and for getting me not only "on the way" but all the way with only a single space left to the finish line, hehe!