Version 3.1.2, changes in description

Clean up old region_names code, region_names now correctly fetched from
Region.pm. Update translations