Fair point; in that case, let's go for this updated branch, which drops the code here and also drops another call to hints.search('remove') in policy.py which lets us save another 12-16 minutes.
« Back to merge proposal
Fair point; in that case, let's go for this updated branch, which drops the code here and also drops another call to hints.search( 'remove' ) in policy.py which lets us save another 12-16 minutes.