# TODO:
# IDEA 2024.3.6: https://download.jetbrains.com/idea/ideaIC-2024.3.6.tar.gz
# # idea.sh installPlugins ...
# Arend plugin: org.arend.lang
# vim plugin with helix keybindings: IdeaVIM + keybindings (use idea vim bundle instead?)