✏️ Editing: ServerInformationLoadAverageType.php