Scripts

Miscellaneous scripts, braindumps, snippets. In short: nothing anyone else
but me would ever need. Feel free to browse, but don't laugh! :-)

	-- ck, 2011-06-01