Correct, its usefulness depends on software working as expected (and not being tampered with)

    echo 1 | sudo tee /sys/devices/platform/thinkpad_acpi/leds/platform\:\:micmute/brightness 

is enough to turn the LED on without muting the mic.