Just a little stub to establish my user page.

Hi everybody!

I'm not really into a detailed "about me" kind of thing. if you want to know more, there's lots of hits if you google my name.

I gave up trying to "hide" from the internet many years ago.

$teve