[trimming unneeded addresses]

On Sun, Dec 24, 2023 at 09:25:38PM +0100, Rudy Zijlstra wrote:
> blacklisted. Long ago i needed to do that...

Also done on my side (block the desperate spammer using Gmail interface).

Ciao!

-- 
An old man doll... just what I always wanted! - Clara