✏️ Editing: ipmi-sensors.8.gz