Ok, I just followed your advice, and implemented my little filter as a plugin, instead of abusing functions.php. As a result, date_i18n() and get_the_date() are now being rendered with the modified locale. Brilliant! Thanks Otto, Rafael and Andrew for your very helpful explanations. Manuel