Good luck begging Larry to fix this :) but he is still active from time to time. But patch? Andreas Gruenbacher is active currently. Or git can change to diffe

Good luck begging Larry to fix this :) but he is still active from time to time. But patch? Andreas Gruenbacher is active currently. Or git can change to differentiate the message prefix better