Miscellaneous Python tools