Update install.rdf
Update pt.properties
Merge branch 'dbv92/master'
No pull request, so let's merge manually...