Oh, they use encoders with detents, they just can't be bothered to make their software "fast" enough to reliably count every detent even though each detent tick lasts for millions of clock cycles.