Эти и другие дополнительные инструменты (перечисленные ниже) можно найти на GitHub в каталоге src/tools.