Thank you for responding,
I didn't know the same user made a pr upstream, too. I still think it
would be nice to have the option to disable it, but I guess I'll just have
to work around it.

Regards

Reply via email to