Kijk, eerst zoeken en dan pas piepen.
In de settings van het log kun je de encoding aangeven. Dus bijvoorbeeld kiezen voor Arabisch, of Hebreeuws, of Westers. Bij Westers heb je een aantal keuzes, en de mijne stond gewoon op de standaardkeuze.
Inmiddels omgebakken naar 'encoding on ISO-8859-1', en zowaar: de diacrieten lijken het weer te doen.
Dus gewoon à, è, ë, ê, ï, ú. Hoera!