a dump of useful stuff.