6 ms·They do credit that at the end of the linked blog post.by muteh 13y agoThey do credit that at the end of the linked blog post.egeozcan 13y agoOh, I must have missed that. Thanks._djo_ 13y agoIn any case, the author and maintainer of that plugin is also a JetBrains employee.