rob006 That seems like an ok tradeoff to me. I didn't plan to put those badges in the readme in the first place and I would edit the contributing section to explain that formal translations need to go towards the formal repository, however only if formal and informal differ. People would still mainly get directed to the non formal Weblate repository.
Feel free to merge it into the master branch when you are ready.
Edit: The bigger problem I see here is that it seems not possible to translate for both repositories in one view. That would be optimal, to get both of them into the UI. Only thing that can be done right now is to show the formal translation if it exists already.
