@sergey-safarov Thanks for the fixes! So I understood correctly, the 5.2/5.2 and 5.3/5.3 point now to the latest stable releases of the respective branches, great. About the weekly repositories, yes, they could be named indeed "weekly" in the respective branches, e.g. 5.2/weekly.