* Add Portuguese translations (thanks to @marcelocripe)
* Fix a bug where difficulty labels were not updated after a language change
* Minor UI changes
