slightly improved tool version index view