@joker_josue, @Sandra_hakeem, @Cricktor, @nutildah, @Obim34: Thanks for the encouragement (and for bumping the patch thread). Please don't take me not leaving merit on your posts to mean that I don't appreciate them.
Yes, of course that's what worries me the most.
For me, the most valuable thing is to see that PIDE help so that the improvement was implemented.