minus-squarecally [he/they]@pawb.sociallinkfedilinkEnglisharrow-up2·5 days agocoq_nvim exists with that name too
coq_nvim exists with that name too