Tras seguir el procedimiento indicado en https://apple.stackexchange.com/a/232678/331833 ¡mi launchpad se reinicia espontáneamente!
defaults -currentHost write com.apple.dock ResetLaunchPad -bool true; killall Dock
Las aplicaciones que saqué de la carpeta "otros" (porque las utilizo habitualmente) volvieron a esa carpeta.
Otras aplicaciones que no tengo ningún interés en utilizar (y que sinceramente desearía que los de Cupertino no hubieran incluido), y que pondría en "Otros" o en una carpeta llamada "Cosas que ni quiero ni necesito", abarrotando la primera página del Launchpad.
(Ah, y la propia carpeta "Cosas que ni quiero ni necesito" desaparece, y Eclipse vuelve a una carpeta propia).
¿Cómo puedo solucionarlo? ¿Por qué se reinicia? cada vez ¿Reinicio? ¿Podría ser la parte anterior al punto y coma? Si es así, ¿cómo lo deshago?