Yes, it is. I am still using it. For example, here:https://github.com/kframework/k/pull/321/files#diff-4efef68821310d071fda6e8800165042R167