Some utilities I maintain and use occasionally