The world has reacted with horror at Gmail doing down, but the absence of emails has likely boosted workplace productivity.