misc random

Miscellaneous infrequent and random musings all over the place.