Due to an inadvertant typing error, this home page has been erased. I'll rebuild eventually.

Resume, in case you're hiring. I'm not actively looking for a job. My company is hiring, though.