Other than the tongue-in-cheek request to remind me of the Allegro sensors when I need them, I was sincere. The tubular shape and lead orientation of normal prox sensors often makes them difficult to fit into a design, prox's in flat packages are an expensive compromise, and I wasn't aware of self-contained zero-speed Hall sensors.
Karl emailed me that you were helping him choose an appropriate device.
Ned