@rapella Heh. @adders_org and I have some very distant history. Back in the 90s, I had adders.org.uk and they had adders.org. I think they ended up with quite a bit of my e-mail, to a possibly annoying degree.