Loss of data on the community portal on the 15 of July

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.