miscellaneous

various stuff.