@danielbachhuber What I picked up was “Convert,” read as “convert comma backslash”