Some utilities for usage with Taskcoach (taskcoach.org)