Scripts and doodads I've written in Python