愛用しているキーボードランチャ”CraftLaunch”がバージョンアップして、Pythonでカスタマイズできるようになっていた。