miscellaneous perhaps useful stuff