Este botón desapareció de mi Dock. Revisé la configuración del Dock en Configuración del Sistema y no parece haber ningún interruptor para activarlo o desactivarlo. Entonces, ¿cómo lo agrego de nuevo?
En realidad, no sé cómo se llama, por lo que es difícil buscarlo y todas las consultas de búsqueda que se me ocurrieron eran irrelevantes.