✏️ Editing: GzipDecodeStream.php