Right, that's something that I'm actually sometimes missing on my NX500 when using vintage lenses, but I'm not sure how relevant it is for pro amateurs in general.
It's super useful, esp if you're going after longer focal lengths and snapping birds, and if you're... like me... into manual focus or vintage lenses. My little Olympus M43 camera has an older IBIS system and it's very useful and I can definitely tell when it's off or not configured. Newer cameras have made huge improvements in this, and, yeah, autofocus ...