dist *.bin *.exe /*.jar build .gradle video .settings .classpath .idea themes quotes tex spell keenwrite.github.io keenwrite.build_artifacts.txt todo