Misc utilities not meriting a separate repository.