[emacs][wip] fix proof general
[~bandali/configs] / straight / versions /
drwxr-xr-x   ..
-rw-r--r-- 4120 default.el