I'm sorry for getting back to you so late. On the other hand, after all this time, I could observe that the alleged misconduct has completely disappeared.
So either one of the updates to the PHP-Tools had an effect, or my changes to the code base.
In any case: it's done. Thank you anyway for your quick response, as always.