Raspberry Pi and config.txt

The output is the same after I remove dtoverlay=gpio-ir,gpio_pin=23 from config.txt, leading me to believe that it does not work…