“Diesel fuel” is usually Number 2 fuel oil, which is used in home heating also.
Rudolf Diesel designed his engine to be able to burn a variety of fuels, from vegetable oil to pulverized coal. Hence “diesel-fueled” is still a misnomer.
You’re splitting hairs where it is uncalled for. Just look at the different pumps at your local “gas” station...