The underworked public employee