It was by pure accident. I mean, my name really is James and I'm called Jim (or Jimmy, by some in my family), but when I was asked to identify myself with a web name, I chose JimFolk. I should have known - that name was already taken. Funny, I haven't seen it in Mudcat.