Nice find! Thanks for mentioning that sensor.
I just read the datasheet and it looks similar to the Honeywell sensor, however there is no mention of temperature compensation. Also the graph on page 4 of the datasheet shows that it switches on at lower magnetic fields when hotter.
I don't know how much effect this would have on actual sensing distance, or even how much temperature change would be expected in the sensor. Typically in a workshop the temperature might be from 15'C to 35'C which might be a couple of percent difference in the magnetic field strength (according to the graph). That might translate to a couple thou of position error, it's hard to say for sure without actual testing.
Anyway, the more sensors we find, the better. It might be worth making a table of the possible sensors and their differences, prices etc. Hmm, it might be better to leave that until later to get more sensor types included in the table.