No news, good news.
So, patch merged by commit [e406ab9e21].

Bug closed.

Thanks to all for this long way foll of stones.