infmin (pypi): Text file minimizing CLI tool
Keywords: infmin|file|minimize