Hi, I don't use `lean.nvim`, but I find the abbreviations feature really useful. Would you be interested in splitting it into a separate plugin so others can also take advantage of it?