pkgs/st: better word delimiters
vim: coq support!