Bon, finalement le répit fût de courte durée.
Aujourd'hui le problème s'est à nouveau posé.
Et là, j'ai fait des tests en cliquant sur ce fameux « afficher/masquer les annotations » de PitStop : aucun effet, ça reste invisible dans la vue principale.
Hier, quand je testais, cliquer dessus faisait effectivement apparaître et disparaître les annotations.
Aujourd'hui plus rien.
Grrr.