A clipboard manager for Mac OS X