Re #318: Add Portuguese translation.