Commit dee920a840c85a7d5d7a63c0de6bf824a4b806b6 was merged into
Weblate's repository, but later replaced on main by
2167ce9656ab25355d47efc35f955aadd51544c7. This led to a merge conflict,
which this commit fixes cleanly. After merging, we can unlock Weblate
again.