石油ストーブがいつのまにか「灯油ストーブ」と改名していた件

「灯油と間違えて石油を入れて、火事を起こしたアホがいたから」らしいけど
石油ってなんだ?石油なんて市販していないだろ。