Various useful things which don't fit into other categories.