Con El Capitán, la aplicación Terminal puede crear automáticamente marcas y marcadores. Sin embargo, parece que no hay una forma obvia de eliminar un marcador que uno haya creado (por accidente). ¿Cómo se puede eliminar un marcador de ventana de Terminal?