Fix #253: Many translations weren't included in the last release.