]> git.sesse.net Git - remoteglot/search
Clean up the refutation line choice logic a bit.