Hello all,
due to an issue (now solved) with the Community Portal, changes executed on the 15 of July between 11:00 and 19:00 UTC might have been lost. Please check any updates you carried out during those hours.
We are very sorry for any problems this caused.