Post from 2025-06-24 14:20:07

@bagder Sounds plausible, although that sounds like lots of work to dig up an unrelated e-mail address :)