Hello

A short introduction: who writes here, and what these notes are for.