Update compression-tool.md#4

juan-c-s wants to merge 1 commit into

srcolinas:mainsrcolinas/srcolinas.github.io:mainfrom

juan-c-s:patch-1juan-c-s/srcolinas.github.io:patch-1Copy head branch name to clipboard