@bigboo
An issue at GitHub would suite better in your and this case.
Are you able to do it yourself, open up an issue and provide enough details, or do you require assistance with it?
Maybe we can find here in the forum even someone who could prepare the patch and add the merge request to it. I did not checked the full details but it looks or sound like a rather small change. But this french ISP is not small and I assume lot of potentially affected users. Thanks so far.