Is er een tool waarmee je alle diakritische tekens in (html-)bestanden kunt
vervangen voor hun bijbehorende &....; alternatieven?

De meeste texteditors kunnen dat. Ik gebruik oa TextWrangler en een snelle test geeft aan dat TW dat kan.

Ik heb TextWrangler opgehaald.
Kun je aangeven met welk menu-item je dan die vervangingen kunt doen?

Als ik kies voor text -> zap gremlins... dan krijg ik een omzetting die ik niet wil, bijvoorbeeld:

é moet worden é
maar met deze zap-functie wordt er \0xE9 van gemaakt.

…in ieder geval met Espresso en Coda.
Maar in tegenstelling tot TextWrangler zijn deze niet gratis en ze bieden beide geen complete oplossing: sommige typografisch wat ingewikkelder tekens converteren ze niet uit zichzelf.

Ik was denk ik in de war met een andere tekst-tool. Zal even verder kijken.