@macomaniac,
Il semble effectivement exister le même problème, j'ai relancé à tout hasard ta combinaison de commandes : option + commande + R.
Si j'ai toujours le même résultat, je procéderai si je peux le faire, à l'option : "Obtenir de l'aide en ligne" (fenêtre des 4 Utilitaires macOS).
Je...