Docker registry and our image-proxy service working again properly.
A tool performing AC-completion for left-linear TRSs written in Haskell.