Cómo personalizar el Dock de MacOS y modificar sus principales opciones. Unos cuantos trucos muy sencillos para mejorar el rendimiento de tu macOS