intro
Stuff that doesn't seem to fit in elsewhere gets dumped here.