Various small Python utilities and examples