[org] Tweak stuck project matcher
[coq] snippets
[coq] Add ./src to load path
[org] tweak stuck projects matcher
Change some global key bindings