Optimise GetSliverToolWithIP just a bit
Add comments for gavaletz