Oisin,
thanks a million for this tip! Before I found your post, I tried to make sense of an entry in the template documentation (under “Deprecated date/time tags”):
for non-English weekdays you have to edit day-month-trans.php
Only there isn’t any day-month-trans.php included in the original wp distribution, and being a complete n00b I haven’t the faintest idea of what to include. Editing locale.php otoh indeed seems to be the trick. You just saved me a half day….
