A sleep timer for streaming web content