Smaller PR are:
- Faster to review: reviewers may not have many free hours straight.
- Easier to merge: if a translator does a lot of work, better have
- part of it merged quickly (by merging good PRs) instead of blocking
- the whole work due to a small detail.