Added "dia das mães" and "dia dos pais" to `holiday-other-holidays'.