What does this do? It is meaningless to most users. We couldn't figure it out. This checkbox should go away. If there is actually some meaningful functionality, it should probably be probed anyway.
I've made some changes, please check the latest rawhide (1.2.14-4).