Remove some obsolete work-related stuff.