Miscellaneous

A collection of personal bits and pieces.