✏️ Editing: GzipEncodeStream.php